Details
| Original language | English |
|---|---|
| Pages (from-to) | 277-292 |
| Number of pages | 16 |
| Journal | Electron. Notes Theor. Comput. Sci. |
| Volume | 231 |
| Publication status | Published - 2009 |
Keywords
- cs.LO, cs.CC, F.4.1; I.2.4
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments. / Bauland, Michael; Mundhenk, Martin; Schneider, Thomas et al.
In: Electron. Notes Theor. Comput. Sci., Vol. 231, 2009, p. 277-292.
In: Electron. Notes Theor. Comput. Sci., Vol. 231, 2009, p. 277-292.
Research output: Contribution to journal › Article › Research › peer review
Bauland, M, Mundhenk, M, Schneider, T, Schnoor, H, Schnoor, I & Vollmer, H 2009, 'The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments', Electron. Notes Theor. Comput. Sci., vol. 231, pp. 277-292. https://doi.org/10.1016/j.entcs.2009.02.041, https://doi.org/10.15488/1519
Bauland, M., Mundhenk, M., Schneider, T., Schnoor, H., Schnoor, I., & Vollmer, H. (2009). The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments. Electron. Notes Theor. Comput. Sci., 231, 277-292. https://doi.org/10.1016/j.entcs.2009.02.041, https://doi.org/10.15488/1519
Bauland M, Mundhenk M, Schneider T, Schnoor H, Schnoor I, Vollmer H. The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments. Electron. Notes Theor. Comput. Sci. 2009;231:277-292. doi: 10.1016/j.entcs.2009.02.041, 10.15488/1519
Download
@article{320c039957344497870c4a98634fcfc0,
title = "The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments",
keywords = "cs.LO, cs.CC, F.4.1; I.2.4",
author = "Michael Bauland and Martin Mundhenk and Thomas Schneider and Henning Schnoor and Ilka Schnoor and Heribert Vollmer",
note = "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.",
year = "2009",
doi = "10.1016/j.entcs.2009.02.041",
language = "English",
volume = "231",
pages = "277--292",
}
Download
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 - Electron. Notes Theor. Comput. Sci.
JF - Electron. Notes Theor. Comput. Sci.
ER -