Armen Gabrielian, Matthew K. Franklin
Multi-Level Specification and Verification of Real-Time Software
ICSE, 1990.
@inproceedings{ICSE-1990-GabrielianF, acmid = "100302", author = "Armen Gabrielian and Matthew K. Franklin", booktitle = "{Proceedings of the 12th International Conference on Software Engineering}", editor = "François-Régis Valette and Peter A. Freeman and Marie-Claude Gaudel", isbn = "0-8186-2026-9", pages = "52--62", publisher = "{IEEE Computer Society}", title = "{Multi-Level Specification and Verification of Real-Time Software}", year = 1990, }