TY  - RPRT
TI  - Symbolic LTL Compilation for Model Checking: Extended Abstract
AU  - Rozier, Kristin Y.
AU  - Vardi, Moshe Y.
PY  - 2007
UR  - https://ntrs.nasa.gov/citations/20070035039
ID  - 20070035039
ER  -