Formal Modeling and Analysis of Timed Systems

Víctor Braberman, Laurent Fribourg
Springer Berlin Heidelberg, Volume 8053 - aug 2013

BibTex references

@Book\{BF13,
  author       = "Braberman, V\'{\i}ctor and Fribourg, Laurent",
  title        = "Formal Modeling and Analysis of Timed Systems",
  series       = "Lecture Notes in Computer Science",
  volume       = "8053",
  month        = "aug",
  year         = "2013",
  publisher    = "Springer Berlin Heidelberg",
  note         = "11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings",
  url          = "http://publicaciones.dc.uba.ar/Publications/2013/BF13"
}

Other publications in the database

» Víctor Braberman