BibTeX record conf/compsac/BeavenEMS91

download as .bib file

@inproceedings{DBLP:conf/compsac/BeavenEMS91,
  author    = {Mike Beaven and
               Brad Elmore and
               Dan C. Marinescu and
               Ryan Stansifer},
  title     = {VERT-verification of real-time programs},
  booktitle = {Proceedings of the Fifteenth Annual International Computer Software
               and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September,
               1991},
  pages     = {618--625},
  publisher = {{IEEE}},
  year      = {1991},
  url       = {https://doi.org/10.1109/CMPSAC.1991.170251},
  doi       = {10.1109/CMPSAC.1991.170251},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/compsac/BeavenEMS91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics