Synthesis of live behaviour models

Nicolás D Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel. Synthesis of live behaviour models. In Gruia-Catalin Roman, Kevin J. Sullivan, editors, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010. pages 77-86, ACM, 2010. [doi]

@inproceedings{DIppolitoBPU10,
  title = {Synthesis of live behaviour models},
  author = {Nicolás D Ippolito and Víctor A. Braberman and Nir Piterman and Sebastián Uchitel},
  year = {2010},
  doi = {10.1145/1882291.1882305},
  url = {http://doi.acm.org/10.1145/1882291.1882305},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/DIppolitoBPU10},
  cites = {0},
  citedby = {0},
  pages = {77-86},
  booktitle = {Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010},
  editor = {Gruia-Catalin Roman and Kevin J. Sullivan},
  publisher = {ACM},
  isbn = {978-1-60558-791-2},
}