@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @string{springer="© Springer-Verlag"} @InProceedings{DBPU12, author = {N. D'Ippolito and V. Braberman and N. Piterman and S. Uchitel}, title = {The Modal Transition System Control Problem}, booktitle = {19th International Symposium on Formal Methods}, pages = {155-170}, year = {2012}, volume = {7436}, series = lncs, address = {Paris, France}, publisher = springer, pdf = {2012/DBPU12.pdf}, keywords = {Synthesis,Model Driven Development,Games}, }