Berndt Farwer. omega-Automata. In Erich Grädel, Wolfgang Thomas, Thomas Wilke, editors, Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]. Volume 2500 of Lecture Notes in Computer Science, pages 3-20, Springer, 2001. [doi]
@inproceedings{Farwer01, title = {omega-Automata}, author = {Berndt Farwer}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2500/25000003.htm}, researchr = {https://researchr.org/publication/Farwer01}, cites = {0}, citedby = {0}, pages = {3-20}, booktitle = {Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]}, editor = {Erich Grädel and Wolfgang Thomas and Thomas Wilke}, volume = {2500}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-00388-6}, }