Extending interval logic to real time systems
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 224-242
- https://doi.org/10.1007/3-540-51803-7_29
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- An interval-based temporal logicLecture Notes in Computer Science, 1984
- An interval logic for higher-level temporal reasoningPublished by Association for Computing Machinery (ACM) ,1983
- From State Machines to Temporal Logic: Specification Methods for Protocol StandardsIEEE Transactions on Communications, 1982