Distribution of Modal Transition Systems

German Sibay, Víctor Braberman, Sebastian Uchitel, Jeff Kramer
18th International Symposium on Formal Methods FM 2012, Volume 7436, page 403--417 - 2012
Download the publication : paperFM2012WithRelatedWork.pdf [209Ko]  

BibTex references

@InProceedings\{SBUK12,
  author       = "Sibay, German and Braberman, V\'{\i}ctor and Uchitel, Sebastian and Kramer, Jeff",
  title        = "Distribution of Modal Transition Systems",
  booktitle    = "18th International Symposium on Formal Methods FM 2012",
  series       = "Lecture Notes in Computer Science",
  volume       = "7436",
  pages        = "403--417",
  year         = "2012",
  publisher    = "Springer Verlag",
  note         = "FM 2012 - Paris, Francia, Agosto 2012",
  url          = "http://publicaciones.dc.uba.ar/Publications/2012/SBUK12"
}

Other publications in the database

» German Sibay
» Víctor Braberman
» Sebastian Uchitel
» Jeff Kramer