Synthesis of Live Behavior Models

D'Ippolito, N.; Braberman, V.; Piterman, N.; Uchitel, S.

Synthesis of Live Behavior Models (bibtex)

@InProceedings{DBPU10,
  author = 	 {N. D'Ippolito and V. Braberman and N. Piterman and S. Uchitel},
  title = 	 {Synthesis of Live Behavior Models},
  booktitle = {18th International Symposium on Foundations of Software Engineering},
  pages = 	 {77-86},
  year = 	 {2010},
  publisher = acm,
  pdf = 	 {2010/DBPU10.pdf},
  url = 	 {2010/DBPU10.html},
  keywords = {Synthesis,Model Driven Development},
}