Jonathan S. Ostroff, W. Murray Wonham. Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems. In Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS 87), December 1-3, 1987, San Jose, Califorinia, USA. pages 124-132, IEEE Computer Society, 1987.
@inproceedings{OstroffW87,
title = {Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems},
author = {Jonathan S. Ostroff and W. Murray Wonham},
year = {1987},
researchr = {https://researchr.org/publication/OstroffW87},
cites = {0},
citedby = {0},
pages = {124-132},
booktitle = {Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS 87), December 1-3, 1987, San Jose, Califorinia, USA},
publisher = {IEEE Computer Society},
isbn = {0-8186-0815-3},
}