TY  - RPRT
TI  - The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments
AU  - Michael Bauland
AU  - Martin Mundhenk
AU  - Thomas Schneider
AU  - Henning Schnoor
AU  - Ilka Schnoor
AU  - Heribert Vollmer
PY  - 2008
UR  - https://arxiv.org/abs/0805.0498
ID  - 0805.0498
ER  -