De Alfaro, Luca, and Thomas A. Henzinger. “Concurrent Omega-Regular Games.”10.1109/LICS.2000.855763__Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–54, doi:10.1109/LICS.2000.855763.
LibreCat: https://research-explorer.ista.ac.at/record/4627
DOI: 10.1109/LICS.2000.855763