@InProceedings{CHP06, author = {K. Chatterjee and T.A. Henzinger and N. Piterman}, title = {Algorithms for Buchi Games}, booktitle = {3rd Workshop on Games in Design and Verification}, OPTpages = {}, year = 2006, OPTvolume = {}, OPTseries = {}, OPTpublisher = {}, pdf = {2006/CHP06.pdf}, url = {2006/CHP06.html}, keywords = {Games}, }