%0 Journal Article %1 journals/corr/abs-1011-0688 %A Chatterjee, Krishnendu %A Henzinger, Thomas A. %A Prabhu, Vinayak S. %D 2011 %J Log. Methods Comput. Sci. %K dblp %N 4 %T Timed Parity Games: Complexity and Robustness %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs7.html#abs-1011-0688 %V 7

@article{journals/corr/abs-1011-0688, added-at = {2023-04-16T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and Henzinger, Thomas A. and Prabhu, Vinayak S.}, biburl = {https://www.bibsonomy.org/bibtex/21f804eeb8c716d1da918c0bc8ca7cd97/dblp}, ee = {http://arxiv.org/abs/1011.0688}, interhash = {41e79fc1fd98a4e600a2896d2f9bab08}, intrahash = {1f804eeb8c716d1da918c0bc8ca7cd97}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 4, timestamp = {2024-04-09T00:07:52.000+0200}, title = {Timed Parity Games: Complexity and Robustness}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs7.html#abs-1011-0688}, volume = 7, year = 2011 }