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











