by Wladimir Fridman, Martin Zimmermann
Reference:
Playing Pushdown Parity Games in a Hurry (Wladimir Fridman, Martin Zimmermann), In GandALF, 2012.
Bibtex Entry:
@inproceedings{DBLP:journals/corr/abs-1210-2458, author = {Wladimir Fridman and Martin Zimmermann}, title = {Playing Pushdown Parity Games in a Hurry}, booktitle = {GandALF}, year = {2012}, pages = {183-196}, ee = {http://dx.doi.org/10.4204/EPTCS.96.14}, bibsource = {DBLP, http://dblp.uni-trier.de}, }