Exploring Inconsistencies between Modal Transition Systems

Mathieu Sassolas, Marsha Chechik, Sebastian Uchitel
Software and Systems Modeling, Volume 10, Number 1, page 117--142 - Febrero 2011
Download the publication : Exploring_Inconsistencies.pdf [2Mo]  

BibTex references

@Article\{SCU11,
  author       = "Sassolas, Mathieu and Chechik, Marsha and Uchitel, Sebastian",
  title        = "Exploring Inconsistencies between Modal Transition Systems",
  journal      = "Software and Systems Modeling",
  number       = "1",
  volume       = "10",
  pages        = "117--142",
  month        = "Febrero",
  year         = "2011",
  publisher    = "Springer-Verlag",
  url          = "http://publicaciones.dc.uba.ar/Publications/2011/SCU11"
}

Other publications in the database

» Marsha Chechik
» Sebastian Uchitel