BibTeX record journals/entcs/CamargoS98

• > Home > journals/entcs/CamargoS98

@inproceedings{DBLP:journals/entcs/CamargoS98,
  author       = {Murilo S. de Camargo and
                  Roberto Milton Scheffel},
  editor       = {Rance Cleaveland and
                  Michael W. Mislove and
                  Philip S. Mulry},
  title        = {Formal Specification, Verification and Simulation of Time-Dependent
                  Systems: a Timed Process Algebra Approach},
  booktitle    = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
                  Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
                  November 13-16, 1997},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {14},
  pages        = {62--85},
  publisher    = {Elsevier},
  year         = {1997},
  url          = {https://doi.org/10.1016/S1571-0661(05)80230-0},
  doi          = {10.1016/S1571-0661(05)80230-0},
  timestamp    = {Fri, 11 Nov 2022 13:59:56 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CamargoS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}