Generalized temporal verification diagrams
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 484-498
- https://doi.org/10.1007/3-540-60692-0_69
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Temporal Verification of Reactive SystemsPublished by Springer Nature ,1995
- Temporal verification diagramsPublished by Springer Nature ,1994
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Impartiality, justice and fairness: The ethics of concurrent terminationPublished by Springer Nature ,1981