@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @string{springer="© Springer-Verlag"} @InProceedings{CHP07a, author = {K. Chatterjee and T.A. Henzinger and N. Piterman}, title = {Generalized Parity Games}, booktitle = {10th International Conference on Foundations of Software Science and Computation Structures}, pages = {153-167}, year = {2007}, volume = {4423}, series = lncs, publisher = springer, pdf = {2007/CHP07.pdf}, url = {2007/CHP07.html}, keywords = {Games}, }