A determinizable class of timed automata
Authors:
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 1-13
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Efficient verification of parallel real-time systems1993
- Computing accumulated delays in real-time systemsLecture Notes in Computer Science, 1993
- Using mappings to prove timing propertiesDistributed Computing, 1992
- Minimum and maximum delay problems in realtime systems1992
- Putting time into proof outlines1992
- The benefits of relaxing punctuality1991
- Temporal proof methodologies for real-time systems1991
- Time-constrained automata1991
- The complementation problem for Büchi automata with applications to temporal logicTheoretical Computer Science, 1987