Details
| Original language | Undefined/Unknown |
|---|---|
| Pages (from-to) | 13:1-13:28 |
| Journal | ACM Trans. Comput. Log. |
| Volume | 12 |
| Issue number | 2 |
| Publication status | Published - 2011 |
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: ACM Trans. Comput. Log., Vol. 12, No. 2, 2011, p. 13:1-13:28.
In: ACM Trans. Comput. Log., Vol. 12, No. 2, 2011, p. 13:1-13:28.
Research output: Contribution to journal › Article › Research › peer review
Bauland, M, Mundhenk, M, Schneider, T, Schnoor, H, Schnoor, I & Vollmer, H 2011, 'The tractability of model checking for LTL - The good, the bad, and the ugly fragments.', ACM Trans. Comput. Log., vol. 12, no. 2, pp. 13:1-13:28. https://doi.org/10.1145/1877714.1877719
Bauland, M., Mundhenk, M., Schneider, T., Schnoor, H., Schnoor, I., & Vollmer, H. (2011). The tractability of model checking for LTL - The good, the bad, and the ugly fragments. ACM Trans. Comput. Log., 12(2), 13:1-13:28. https://doi.org/10.1145/1877714.1877719
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. ACM Trans. Comput. Log. 2011;12(2):13:1-13:28. doi: 10.1145/1877714.1877719
Download
@article{40bbdfdd41334df79f8a515bd2fd0a0e,
title = "The tractability of model checking for LTL - The good, the bad, and the ugly fragments.",
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 = "2011",
doi = "10.1145/1877714.1877719",
language = "Undefined/Unknown",
volume = "12",
pages = "13:1--13:28",
journal = "ACM Trans. Comput. Log.",
issn = "1557-945X",
publisher = "Association for Computing Machinery (ACM)",
number = "2",
}
Download
TY - JOUR
T1 - The tractability of model checking for LTL - 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 - 2011
Y1 - 2011
U2 - 10.1145/1877714.1877719
DO - 10.1145/1877714.1877719
M3 - Article
VL - 12
SP - 13:1-13:28
JO - ACM Trans. Comput. Log.
JF - ACM Trans. Comput. Log.
SN - 1557-945X
IS - 2
ER -