Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse. Stuttering Mostly Speeds Up Solving Parity Games. In Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Volume 6617 of Lecture Notes in Computer Science, pages 207-221, Springer, 2011. [doi]
@inproceedings{CranenKW11,
title = {Stuttering Mostly Speeds Up Solving Parity Games},
author = {Sjoerd Cranen and Jeroen J. A. Keiren and Tim A. C. Willemse},
year = {2011},
doi = {10.1007/978-3-642-20398-5_16},
url = {http://dx.doi.org/10.1007/978-3-642-20398-5_16},
tags = {C++},
researchr = {https://researchr.org/publication/CranenKW11},
cites = {0},
citedby = {0},
pages = {207-221},
booktitle = {NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings},
editor = {Mihaela Gheorghiu Bobaru and Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi},
volume = {6617},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-20397-8},
}