Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas
Languages versus ω-Languages in Regular Infinite Games
DLT, 2012.
@article{DLT-J-2011-ChaturvediOT12, author = "Namit Chaturvedi and Jörg Olschewski and Wolfgang Thomas", doi = "10.1142/S0129054112400412", journal = "{International Journal of Foundations of Computer Science}", number = 5, pages = "985--1000", publisher = "{World Scientific}", title = "{Languages versus ω-Languages in Regular Infinite Games}", volume = 23, year = 2012, }