Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas
Languages vs. ω-Languages in Regular Infinite Games
DLT, 2011.
@inproceedings{DLT-2011-ChaturvediOT, author = "Namit Chaturvedi and Jörg Olschewski and Wolfgang Thomas", booktitle = "{Proceedings of the 15th International Conference on Developments in Language Theory}", doi = "10.1007/978-3-642-22321-1_16", isbn = "978-3-642-22320-4", pages = "180--191", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Languages vs. ω-Languages in Regular Infinite Games}", volume = 6795, year = 2011, }