Hypervolume Approximation in Timed Automata Model Checking

Víctor Braberman, Jorge Lucángeli, Alfredo Olivero, Fernando Schapachnik
5th International Conference on Formal Modelling and Analysis of Timed Systems, Volume 4763, page 69--81 - oct 2007
Download the publication : blos_formats-2007.pdf [287Ko]  

BibTex references

@InProceedings\{BLOS07,
  author       = "Braberman, V\'{\i}ctor and Luc\'angeli, Jorge and Olivero, Alfredo and Schapachnik, Fernando",
  title        = "Hypervolume Approximation in Timed Automata Model Checking",
  booktitle    = "5th International Conference on Formal Modelling and Analysis of Timed Systems",
  series       = "Lecture Notes in Computer Science",
  volume       = "4763",
  pages        = "69--81",
  month        = "oct",
  year         = "2007",
  editor       = "Jean-Fran\c{c}ois Raskin and P.S. Thiagarajan",
  publisher    = "Springer",
  keywords     = "DBM, hypervolume, model checking, Zeus",
  url          = "http://publicaciones.dc.uba.ar/Publications/2007/BLOS07"
}

Other publications in the database

» Víctor Braberman
» Jorge Lucángeli
» Alfredo Olivero
» Fernando Schapachnik