Inproceedings,
VERT-verification of real-time programs.
M. Beaven, B. Elmore, D. Marinescu, and R. Stansifer.COMPSAC, page 618-625. IEEE, (1991)
Meta data
- BibTeX key
- conf/compsac/BeavenEMS91
- entry type
- inproceedings
- booktitle
- COMPSAC
- year
- 1991
- pages
- 618-625
- publisher
- IEEE
- crossref
- conf/compsac/1991
- ee
- https://doi.org/10.1109/CMPSAC.1991.170251
- isbn
- 0-8186-2152-4
- url
- http://dblp.uni-trier.de/db/conf/compsac/compsac1991.html#BeavenEMS91
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/compsac/BeavenEMS91
%A Beaven, Mike
%A Elmore, Brad
%A Marinescu, Dan C.
%A Stansifer, Ryan
%B COMPSAC
%D 1991
%I IEEE
%K dblp
%P 618-625
%T VERT-verification of real-time programs.
%U http://dblp.uni-trier.de/db/conf/compsac/compsac1991.html#BeavenEMS91
%@ 0-8186-2152-4
@inproceedings{conf/compsac/BeavenEMS91,
added-at = {2017-06-15T00:00:00.000+0200},
author = {Beaven, Mike and Elmore, Brad and Marinescu, Dan C. and Stansifer, Ryan},
biburl = {https://www.bibsonomy.org/bibtex/23e4abecf9011557109c1f64975b7b982/dblp},
booktitle = {COMPSAC},
crossref = {conf/compsac/1991},
ee = {https://doi.org/10.1109/CMPSAC.1991.170251},
interhash = {678957eff9005dfcf97f6456042bf62f},
intrahash = {3e4abecf9011557109c1f64975b7b982},
isbn = {0-8186-2152-4},
keywords = {dblp},
pages = {618-625},
publisher = {IEEE},
timestamp = {2019-10-17T20:10:13.000+0200},
title = {VERT-verification of real-time programs.},
url = {http://dblp.uni-trier.de/db/conf/compsac/compsac1991.html#BeavenEMS91},
year = 1991
}