TY  - RPRT
TI  - Model checking
AU  - Dill, David L.
PY  - 1995
UR  - https://ntrs.nasa.gov/citations/19960000035
ID  - 19960000035
ER  -