Details
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 277-292 |
| Seitenumfang | 16 |
| Fachzeitschrift | Electronic Notes in Theoretical Computer Science (ENTCS) |
| Jahrgang | 231 |
| Publikationsstatus | Veröffentlicht - 2009 |
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Electronic Notes in Theoretical Computer Science (ENTCS), Jahrgang 231, 2009, S. 277-292.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
}
TY - JOUR
T1 - The Tractability of Model-Checking for LTL
T2 - The Good, the Bad, and the Ugly Fragments
AU - Bauland, Michael
AU - Mundhenk, Martin
AU - Schneider, Thomas
AU - Schnoor, Henning
AU - Schnoor, Ilka
AU - Vollmer, Heribert
N1 - Funding information: 1 Supported by the Postdoc Programme of the German Academic Exchange Service (DAAD) 2 Supported in part by DFG VO 630/6-1.
PY - 2009
Y1 - 2009
KW - cs.LO
KW - cs.CC
KW - F.4.1; I.2.4
U2 - 10.1016/j.entcs.2009.02.041
DO - 10.1016/j.entcs.2009.02.041
M3 - Article
VL - 231
SP - 277
EP - 292
JO - Electronic Notes in Theoretical Computer Science (ENTCS)
JF - Electronic Notes in Theoretical Computer Science (ENTCS)
ER -