%0 Conference Paper %1 conf/mbmv/PigorschSD06 %A Pigorsch, Florian %A Scholl, Christoph %A Disch, Stefan %B MBMV %D 2006 %E Straube, Bernd %E Freibothe, Martin %I Fraunhofer Institut für Integrierte Schaltungen %K dblp %P 135-144 %T Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2006.html#PigorschSD06

@inproceedings{conf/mbmv/PigorschSD06, added-at = {2022-08-02T00:00:00.000+0200}, author = {Pigorsch, Florian and Scholl, Christoph and Disch, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2e95a3b62397e96abb971a84b39f94858/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2006}, editor = {Straube, Bernd and Freibothe, Martin}, interhash = {890404c9116c2c37300ac2c07efe268a}, intrahash = {e95a3b62397e96abb971a84b39f94858}, keywords = {dblp}, pages = {135-144}, publisher = {Fraunhofer Institut für Integrierte Schaltungen}, timestamp = {2024-04-10T06:15:30.000+0200}, title = {Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2006.html#PigorschSD06}, year = 2006 }