DBLP Record 'conf/lctrts/CamposCMM95'

BibTeX

@inproceedings{DBLP:conf/lctrts/CamposCMM95,
  author    = {S{\'e}rgio Vale Aguiar Campos and
               Edmund M. Clarke and
               Wilfredo R. Marrero and
               Marius Minea},
  title     = {Verus: A Tool for Quantitative Analysis of Finite-State
               Real-Time Systems},
  booktitle = {Workshop on Languages, Compilers, {\&} Tools for Real-Time
               Systems},
  year      = {1995},
  pages     = {70-78},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}