@misc{indiciae0aa8d7141a71,
  title = {Controlling state explosion during automatic verification of delay-insensitive and delay-constrained VLSI systems using the POM verifier},
  author = {Probst, D. and Jensen, L.},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19940013892},
  note = {Source identifier: 19940013892}
}