QUEST Leibniz Research School

Model Checking CTL is Almost Always Inherently Sequential

authored by: Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider
Organisation(s): Institute of Theoretical Computer Science
Type: Conference contribution
Pages: 21-28
No. of pages: 8
Publication date: 2009
Publication status: Published
Peer reviewed: Yes
Electronic version(s): https://doi.org/10.1109/TIME.2009.12 (Access: Unknown)
https://doi.org/10.1109/TIME.2009.12 (Access: Unknown)

BibTeX

@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",
}

Last Change: 09.02.23; Dr. A. Wanner Print