%0 Conference Paper %1 conf/wia/BloemCPRS06 %A Bloem, Roderick %A Cimatti, Alessandro %A Pill, Ingo %A Roveri, Marco %A Semprini, Simone %B CIAA %D 2006 %E Ibarra, Oscar H. %E Yen, Hsu-Chun %I Springer %K dblp %P 208-218 %T Symbolic Implementation of Alternating Automata. %U http://dblp.uni-trier.de/db/conf/wia/ciaa2006.html#BloemCPRS06 %V 4094 %@ 3-540-37213-X

@inproceedings{conf/wia/BloemCPRS06, added-at = {2020-06-15T00:00:00.000+0200}, author = {Bloem, Roderick and Cimatti, Alessandro and Pill, Ingo and Roveri, Marco and Semprini, Simone}, biburl = {https://www.bibsonomy.org/bibtex/2e109f18fdfa1fad3f140c5f532c9e0d1/dblp}, booktitle = {CIAA}, crossref = {conf/wia/2006}, editor = {Ibarra, Oscar H. and Yen, Hsu-Chun}, ee = {https://www.wikidata.org/entity/Q62041365}, interhash = {fce994df3615cddf85961c82465124d0}, intrahash = {e109f18fdfa1fad3f140c5f532c9e0d1}, isbn = {3-540-37213-X}, keywords = {dblp}, pages = {208-218}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-16T12:59:21.000+0200}, title = {Symbolic Implementation of Alternating Automata.}, url = {http://dblp.uni-trier.de/db/conf/wia/ciaa2006.html#BloemCPRS06}, volume = 4094, year = 2006 }