ObsSlice: A Timed Automata Slicer based on Observers

CAV2004: 16th International Conference on Computer Aided Verification, Volume 3114, page 470--474 - jul 2004
Download the publication : BGO_CAV2004.pdf [193Ko]  

BibTex references

@InProceedings\{BGO04,
  author       = "Braberman, V\'{\i}ctor and Garbervetsky, Diego and Olivero, Alfredo",
  title        = "ObsSlice: A Timed Automata Slicer based on Observers",
  booktitle    = "CAV2004: 16th International Conference on Computer Aided Verification",
  series       = "LNCS",
  volume       = "3114",
  pages        = "470--474",
  month        = "jul",
  year         = "2004",
  publisher    = "Springer",
  url          = "http://publicaciones.dc.uba.ar/Publications/2004/BGO04"
}

Other publications in the database

» Víctor Braberman
» Diego Garbervetsky
» Alfredo Olivero