DBLP BibTeX Record 'journals/corr/abs-0901-4728'
@article{DBLP:journals/corr/abs-0901-4728,
author = {Dietmar Berwanger and
Krishnendu Chatterjee and
Martin De Wulf and
Laurent Doyen and
Thomas A. Henzinger},
title = {Alpaga: A Tool for Solving Parity Games with Imperfect Information},
journal = {CoRR},
volume = {abs/0901.4728},
year = {2009},
ee = {http://arxiv.org/abs/0901.4728},
bibsource = {DBLP, http://dblp.uni-trier.de}
}



