The Tractability of Model-Checking for LTL

The Good, the Bad, and the Ugly Fragments

authored by

Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer

Organisation(s)

Institute of Theoretical Computer Science

Type

Article

Journal

Electronic Notes in Theoretical Computer Science (ENTCS)

Volume

231

Pages

277-292

No. of pages

16

Publication date

2009

Publication status

Published

Peer reviewed

Yes

Electronic version(s)

https://doi.org/10.1016/j.entcs.2009.02.041 (Access: Open)
https://doi.org/10.15488/1519 (Access: Open)
https://dblp.org/db/journals/entcs/entcs231.html#BaulandMSSSV09 (Access: Unknown)