%0 Conference Paper %1 conf/caap/MiyanoH84 %A Miyano, Satoru %A Hayashi, Takeshi %B CAAP %D 1984 %E Courcelle, Bruno %I Cambridge University Press %K dblp %P 195-210 %T Alternating Finite Automata on omega-Words. %U http://dblp.uni-trier.de/db/conf/caap/caap84.html#MiyanoH84 %@ 0-521-26750-1

@inproceedings{conf/caap/MiyanoH84, added-at = {2018-07-31T00:00:00.000+0200}, author = {Miyano, Satoru and Hayashi, Takeshi}, biburl = {https://www.bibsonomy.org/bibtex/257d0a44c579f45e686ffebbfa150fc71/dblp}, booktitle = {CAAP}, crossref = {conf/caap/1984}, editor = {Courcelle, Bruno}, interhash = {3a5611a1b8b35ad3338debe98f0aa8c8}, intrahash = {57d0a44c579f45e686ffebbfa150fc71}, isbn = {0-521-26750-1}, keywords = {dblp}, pages = {195-210}, publisher = {Cambridge University Press}, timestamp = {2018-08-01T11:47:16.000+0200}, title = {Alternating Finite Automata on omega-Words.}, url = {http://dblp.uni-trier.de/db/conf/caap/caap84.html#MiyanoH84}, year = 1984 }