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











