Playing Pushdown Parity Games in a Hurry

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

Bookmark the permalink.