TY  - RPRT
TI  - Model checking for linear temporal logic: An efficient implementation
AU  - Sherman, Rivi
AU  - Pnueli, Amir
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19910003795
ID  - 19910003795
ER  -