omega-Automata

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},
}