Florian Pigorsch, Christoph Scholl, Stefan Disch. Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling. In Bernd Straube, Martin Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. pages 135-144, Fraunhofer Institut für Integrierte Schaltungen, 2006.
@inproceedings{PigorschSD06-0,
title = {Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling},
author = {Florian Pigorsch and Christoph Scholl and Stefan Disch},
year = {2006},
researchr = {https://researchr.org/publication/PigorschSD06-0},
cites = {0},
citedby = {0},
pages = {135-144},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006},
editor = {Bernd Straube and Martin Freibothe},
publisher = {Fraunhofer Institut für Integrierte Schaltungen},
}