Synthesis of Live Behaviour Models

ACM-SIGSOFT Intl. Conference on Foundations of Software Engineering - oct 2010
Download the publication : synthesis of live behaviour models.pdf [223Ko]  

BibTex references

@InProceedings\{DBUP10,
  author       = "D´Ippolito, Nicolas and Braberman, V\'{\i}ctor and Uchitel, Sebastian and Piterman, Nir",
  title        = "Synthesis of Live Behaviour Models",
  booktitle    = "ACM-SIGSOFT Intl. Conference on Foundations of Software Engineering",
  month        = "oct",
  year         = "2010",
  note         = "Santa Fe, New Mexico, EEUU",
  url          = "http://publicaciones.dc.uba.ar/Publications/2010/DBUP10"
}

Other publications in the database

» Nicolas D´Ippolito
» Víctor Braberman
» Sebastian Uchitel
» Nir Piterman