Armen Gabrielian, Matthew K. Franklin. State-Based Specification of Complex Real-Time Systems. In Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS 88), December 6-8, 1988, Huntsville, Alabama, USA. pages 2-11, IEEE Computer Society, 1988.
@inproceedings{GabrielianF88,
title = {State-Based Specification of Complex Real-Time Systems},
author = {Armen Gabrielian and Matthew K. Franklin},
year = {1988},
tags = {rule-based},
researchr = {https://researchr.org/publication/GabrielianF88},
cites = {0},
citedby = {0},
pages = {2-11},
booktitle = {Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS 88), December 6-8, 1988, Huntsville, Alabama, USA},
publisher = {IEEE Computer Society},
}