Applications of temporal logic to the specification of real time systems
- 1 January 1988
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Temporal verification of carrier-sense local area network protocolsPublished by Association for Computing Machinery (ACM) ,1984