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]

Authors

Nicolás D Ippolito

This author has not been identified. Look up 'Nicolás D Ippolito' in Google

Víctor A. Braberman

This author has not been identified. Look up 'Víctor A. Braberman' in Google

Nir Piterman

This author has not been identified. Look up 'Nir Piterman' in Google

Sebastián Uchitel

This author has not been identified. Look up 'Sebastián Uchitel' in Google