The Tractability of Model-Checking for LTL

The Good, the Bad, and the Ugly Fragments

verfasst von: Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer
Organisationseinheit(en): Institut für Theoretische Informatik
Typ: Artikel
Journal: Electronic Notes in Theoretical Computer Science (ENTCS)
Band: 231
Seiten: 277-292
Anzahl der Seiten: 16
Publikationsdatum: 2009
Publikationsstatus: Veröffentlicht
Peer-reviewed: Ja
Elektronische Version(en): https://doi.org/10.1016/j.entcs.2009.02.041 (Zugang: Offen)
https://doi.org/10.15488/1519 (Zugang: Offen)
https://dblp.org/db/journals/entcs/entcs231.html#BaulandMSSSV09 (Zugang: Unbekannt)