Armen Gabrielian, Matthew K. Franklin. Multi-Level Specification and Verification of Real-Time Software. In ICSE. pages 52-62, 1990.
@inproceedings{GabrielianF90,
title = {Multi-Level Specification and Verification of Real-Time Software},
author = {Armen Gabrielian and Matthew K. Franklin},
year = {1990},
researchr = {https://researchr.org/publication/GabrielianF90},
cites = {0},
citedby = {0},
pages = {52-62},
booktitle = {ICSE},
}