Mike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer. VERT-verification of real-time programs. In Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991. pages 618-625, IEEE, 1991. [doi]
@inproceedings{BeavenEMS91,
title = {VERT-verification of real-time programs},
author = {Mike Beaven and Brad Elmore and Dan C. Marinescu and Ryan Stansifer},
year = {1991},
doi = {10.1109/CMPSAC.1991.170251},
url = {http://dx.doi.org/10.1109/CMPSAC.1991.170251},
researchr = {https://researchr.org/publication/BeavenEMS91},
cites = {0},
citedby = {0},
pages = {618-625},
booktitle = {Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991},
publisher = {IEEE},
isbn = {0-8186-2152-4},
}