BibTeX record conf/lctrts/CamposCMM95

• > Home > conf/lctrts/CamposCMM95

@inproceedings{DBLP:conf/lctrts/CamposCMM95,
  author       = {S{\'{e}}rgio Vale Aguiar Campos and
                  Edmund M. Clarke and
                  Wilfredo R. Marrero and
                  Marius Minea},
  editor       = {Richard Gerber and
                  Thomas J. Marlowe},
  title        = {Verus: {A} Tool for Quantitative Analysis of Finite-State Real-Time
                  Systems},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 1995 Workshop on Languages, Compilers,
                  {\&} Tools for Real-Time Systems {(LCT-RTS} 1995). La Jolla, California,
                  USA, June 21-22, 1995},
  pages        = {70--78},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/216636.216661},
  doi          = {10.1145/216636.216661},
  timestamp    = {Tue, 26 Apr 2022 11:54:35 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/CamposCMM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}