Revisiting compatibility of input-output modal transition systems

Nenad Medvidovic, Ivo Krka, Nicolas DŽIppolito, Sebastian Uchitel
FM 2014 - Formal Methods, Lecture Notes in Computer Science, Volume accepted - 2014
Download the publication : Revisiting Compatibility of Input-Output.pdf [379Ko]  

BibTex references

@InProceedings\{MKDU14,
  author       = "Medvidovic, Nenad and Krka, Ivo and DŽIppolito, Nicolas and Uchitel, Sebastian",
  title        = "Revisiting compatibility of input-output modal transition systems",
  booktitle    = "FM 2014 - Formal Methods, Lecture Notes in Computer Science",
  series       = "Lecture Notes in Computer Science",
  volume       = "accepted",
  year         = "2014",
  publisher    = "Springer",
  url          = "http://publicaciones.dc.uba.ar/Publications/2014/MKDU14"
}

Other publications in the database

» Nicolas DŽIppolito
» Sebastian Uchitel