Berndt Farwer.
Omega-Automata.
In E. Grädel, W. Thomas, and Th. Wilke, editors, Automata,
Logics, and Infinite Games, volume 2500 of Lecture Notes in Computer
Science, pages 3-21. Springer-Verlag, 2002.
@incollection{Farwer02a, Author = {Farwer, Berndt}, Booktitle = {Automata, Logics, and Infinite Games}, Editor = {Gr{\"a}del, E. and Thomas, W. and Wilke, Th.}, Pages = {3--21}, Publisher = Springer, Series = LNCS, Title = {Omega-{Automata}}, Volume = {2500}, Year = 2002 }