BibTeX record conf/nato/Cantone92

download as .bib file

@inproceedings{DBLP:conf/nato/Cantone92,
  author       = {Giovanni Cantone},
  editor       = {Wolfgang A. Halang and
                  Alexander D. Stoyenko},
  title        = {Static Models and Simulation Engine for Time-Analysis and Verification
                  of Mission-Critical Distributed Systems},
  booktitle    = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
                  on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
                  5-17, 1992},
  series       = {{NATO} {ASI} Series},
  volume       = {127},
  pages        = {325--345},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-88049-0\_16},
  doi          = {10.1007/978-3-642-88049-0\_16},
  timestamp    = {Fri, 12 May 2017 11:24:13 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Cantone92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics