@inproceedings{Gawlitza09Games, author = {Thomas Gawlitza and Helmut Seidl}, title = {Games through {N}ested {F}ixpoints}, booktitle = {Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings}, editor = {Ahmed Bouajjani and Oded Maler}, month = {June}, year = 2009, pages = {291-305}, series = {Lecture Notes in Computer Science}, volume = {5643}, publisher = {Springer}, doi = {10.1007/978-3-642-02658-4_24}, address = {Grenoble, France}, }