The Modal Transition System Control Problem

18th International Symposium on Formal Methods FM 2012, Volume 7436, page 155--170 - 2012
Download the publication : paper.pdf [253Ko]  

BibTex references

@InProceedings\{DBPU12a,
  author       = "D´Ippolito, Nicolas and Braberman, V\'{\i}ctor and Piterman, Nir and Uchitel, Sebastian",
  title        = "The Modal Transition System Control Problem",
  booktitle    = "18th International Symposium on Formal Methods FM 2012",
  series       = "Lecture Notes in Computer Science ",
  volume       = "7436",
  pages        = "155--170",
  year         = "2012",
  publisher    = "Springer Verlag",
  note         = "FM 2012 - Paris, Francia, Agosto 2012",
  url          = "http://publicaciones.dc.uba.ar/Publications/2012/DBPU12a"
}

Other publications in the database

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