Synthesis of Reactive(1) Designs

Piterman, N.; Pnueli, A.; Sa'ar, Y.

Synthesis of Reactive(1) Designs (bibtex)

@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{jan="January"}
@string{springer="© Springer-Verlag"}
@string{saar="see also <a href=http://www.wisdom.weizmann.ac.il/ saar/synthesis/>tool homepage</a>"}
@InProceedings{PPS06,
  author = 	 {N. Piterman and A. Pnueli and Y. Sa'ar},
  title = 	 {Synthesis of Reactive(1) Designs},
  booktitle = {7th International Conference on Verification, Model Checking and Abstract Interpretation},
  pages = 	 {364-380},
  year = 	 {2006},
  volume = 	 {3855},
  series = 	 lncs,
  month = 	 jan,
  publisher = springer,
  pdf = {2006/PPS06.pdf},
  url = {2006/PPS06.html},
  note = saar,
  keywords = {Synthesis,Games},
}