Examples of a real-time temporal logic specification
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 231-251
- https://doi.org/10.1007/3-540-16047-7_50
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Real-time programming and asynchronous message passingPublished by Association for Computing Machinery (ACM) ,1983