@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @string{springer="© Springer-Verlag"} @InProceedings{KPV06, author = {O. Kupferman and N. Piterman and M.Y. Vardi}, title = {Safraless Compositional Synthesis}, booktitle = {18th Conference on Computer Aided Verification}, pages = {31-44}, year = 2006, volume = {4144}, series = lncs, publisher = springer, pdf = {2006/KPV06.pdf}, url = {2006/KPV06.html}, keywords = {Synthesis,Automata,Games}, }