%0 Journal Article %1 journals/ijfcs/BloemCPR07 %A Bloem, Roderick %A Cimatti, Alessandro %A Pill, Ingo %A Roveri, Marco %D 2007 %J Int. J. Found. Comput. Sci. %K dblp %N 4 %P 727-743 %T Symbolic Implementation of Alternating Automata. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs18.html#BloemCPR07 %V 18

@article{journals/ijfcs/BloemCPR07, added-at = {2019-06-02T00:00:00.000+0200}, author = {Bloem, Roderick and Cimatti, Alessandro and Pill, Ingo and Roveri, Marco}, biburl = {https://www.bibsonomy.org/bibtex/26c505390b6c5de04e446607cf3115136/dblp}, ee = {https://www.wikidata.org/entity/Q62041327}, interhash = {3eb28acf9b4cce8f46bfcde0760ddbf4}, intrahash = {6c505390b6c5de04e446607cf3115136}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 4, pages = {727-743}, timestamp = {2019-06-04T12:28:47.000+0200}, title = {Symbolic Implementation of Alternating Automata.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs18.html#BloemCPR07}, volume = 18, year = 2007 }