TY  - RPRT
TI  - A Multi-Encoding Approach for LTL Symbolic Satisfiability Checking
AU  - Rozier, Kristin Y.
AU  - Vardi, Moshe Y.
PY  - 2011
UR  - https://ntrs.nasa.gov/citations/20110014393
ID  - 20110014393
ER  -