Tobiah E. Smith, Dorothy E. Setliff. Towards an automatic synthesis system for real-time software. In Proceedings of the Real-Time Systems Symposium - 1991, San Antonio, Texas, USA, December 1991. pages 34-42, IEEE Computer Society, 1991. [doi]
@inproceedings{SmithS91-2,
title = {Towards an automatic synthesis system for real-time software},
author = {Tobiah E. Smith and Dorothy E. Setliff},
year = {1991},
doi = {10.1109/REAL.1991.160356},
url = {http://dx.doi.org/10.1109/REAL.1991.160356},
researchr = {https://researchr.org/publication/SmithS91-2},
cites = {0},
citedby = {0},
pages = {34-42},
booktitle = {Proceedings of the Real-Time Systems Symposium - 1991, San Antonio, Texas, USA, December 1991},
publisher = {IEEE Computer Society},
}