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