@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @string{springer="© Springer-Verlag"} @InProceedings{KPP12, author = {U. Klein and N. Piterman and A. Pnueli}, title = {Effective Synthesis of Asynchronous Systems from GR(1) Specifications}, booktitle = {The Thirteenth International Conference on Verification, Model Checking, and Abstract Interpretation}, series = lncs, pages = {283-298}, year = {2012}, volume = {7148}, pdf = {2012/KPP12.pdf}, OPTurl = {2012/KPP12.html}, publisher = springer, keywords = {Synthesis,Games}, }