TITLE     : Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages
AUTHOR(S) : Ciancia V, Venema Y
TYPE      : Contribution to book
YEAR      : 2019
CODE      : 410609

*** DO NOT EDIT THIS FILE ***