Details
| Original language | English |
|---|---|
| Title of host publication | TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings |
| Editors | Carsten Lutz, Jean-François Raskin |
| Publisher | IEEE Computer Society |
| Pages | 21-28 |
| Number of pages | 8 |
| Publication status | Published - 2009 |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Model Checking CTL is Almost Always Inherently Sequential. / Beyersdorff, Olaf; Meier, Arne; Thomas, Michael et al.
TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. ed. / Carsten Lutz; Jean-François Raskin. IEEE Computer Society, 2009. p. 21-28.
TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. ed. / Carsten Lutz; Jean-François Raskin. IEEE Computer Society, 2009. p. 21-28.
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
Beyersdorff, O, Meier, A, Thomas, M, Vollmer, H, Mundhenk, M & Schneider, T 2009, Model Checking CTL is Almost Always Inherently Sequential. in C Lutz & J-F Raskin (eds), TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. IEEE Computer Society, pp. 21-28. https://doi.org/10.1109/TIME.2009.12
Beyersdorff, O., Meier, A., Thomas, M., Vollmer, H., Mundhenk, M., & Schneider, T. (2009). Model Checking CTL is Almost Always Inherently Sequential. In C. Lutz, & J.-F. Raskin (Eds.), TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings (pp. 21-28). IEEE Computer Society. https://doi.org/10.1109/TIME.2009.12
Beyersdorff O, Meier A, Thomas M, Vollmer H, Mundhenk M, Schneider T. Model Checking CTL is Almost Always Inherently Sequential. In Lutz C, Raskin JF, editors, TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. IEEE Computer Society. 2009. p. 21-28 doi: 10.1109/TIME.2009.12
Download
@inproceedings{72656c8667c44ce186dc39b070b884ec,
title = "Model Checking CTL is Almost Always Inherently Sequential",
author = "Olaf Beyersdorff and Arne Meier and Michael Thomas and Heribert Vollmer and Martin Mundhenk and Thomas Schneider",
year = "2009",
doi = "10.1109/TIME.2009.12",
language = "English",
pages = "21--28",
editor = "Carsten Lutz and Jean-Fran{\c c}ois Raskin",
booktitle = "TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings",
publisher = "IEEE Computer Society",
address = "United States",
}
Download
TY - GEN
T1 - Model Checking CTL is Almost Always Inherently Sequential
AU - Beyersdorff, Olaf
AU - Meier, Arne
AU - Thomas, Michael
AU - Vollmer, Heribert
AU - Mundhenk, Martin
AU - Schneider, Thomas
PY - 2009
Y1 - 2009
U2 - 10.1109/TIME.2009.12
DO - 10.1109/TIME.2009.12
M3 - Conference contribution
SP - 21
EP - 28
BT - TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings
A2 - Lutz, Carsten
A2 - Raskin, Jean-François
PB - IEEE Computer Society
ER -