TY  - RPRT
TI  - Controlling state explosion during automatic verification of delay-insensitive and delay-constrained VLSI systems using the POM verifier
AU  - Probst, D.
AU  - Jensen, L.
PY  - 1991
UR  - https://ntrs.nasa.gov/citations/19940013892
ID  - 19940013892
ER  -