@inproceedings{DBLP:conf/spin/HofmannNR16, author = {Martin Hofmann, and Christian Neukirchen, and Rue{\ss}, Harald}, title = {Certification for {\(\mu\)}-Calculus with Winning Strategies}, booktitle = {Model Checking Software - 23rd International Symposium, {SPIN} 2016, Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings}, pages = {111--128}, year = {2016}, doi = {10.1007/978-3-319-32582-8_8}, url = {http://dx.doi.org/10.1007/978-3-319-32582-8_8}, crossref = {DBLP:conf/spin/2016}, }