TGI

Education

Misc

• Petri Nets World
  

Bibliography

Omega-Automata

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.

---

BibTeX

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

---