@Inproceedings{EPTCS96.14, author = {Fridman, Wladimir and Zimmermann, Martin}, year = {2012}, title = {Playing Pushdown Parity Games in a Hurry}, editor = {Faella, Marco and Murano, Aniello}, booktitle = {{\rm Proceedings Third International Symposium on} Games, Automata, Logics and Formal Verification , {\rm Napoli, Italy, September 6-8, 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {96}, publisher = {Open Publishing Association}, pages = {183-196}, doi = {10.4204/EPTCS.96.14}, }