Carsten Fritz, Thomas Wilke
Simulation Relations for Alternating Parity Automata and Parity Games
DLT, 2006.
@inproceedings{DLT-2006-FritzW, author = "Carsten Fritz and Thomas Wilke", booktitle = "{Proceedings of the 10th International Conference on Developments in Language Theory}", doi = "10.1007/11779148_7", isbn = "3-540-35428-X", pages = "59--70", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Simulation Relations for Alternating Parity Automata and Parity Games}", volume = 4036, year = 2006, }