QUEST Leibniz Forschungsschule

Model Checking CTL is Almost Always Inherently Sequential

verfasst von: Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider
Organisationseinheit(en): Institut für Theoretische Informatik
Typ: Aufsatz in Konferenzband
Seiten: 21-28
Anzahl der Seiten: 8
Publikationsdatum: 2009
Publikationsstatus: Veröffentlicht
Peer-reviewed: Ja
Elektronische Version(en): https://doi.org/10.1109/TIME.2009.12 (Zugang: Unbekannt)
https://doi.org/10.1109/TIME.2009.12 (Zugang: Unbekannt)

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

Letzte Änderung: 09.02.23; Dr. A. Wanner Druckversion