Event-clock automata: a determinizable class of timed automata

This publication has 8 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• The benefits of relaxing punctuality
  Journal of the ACM, 1996
• Timing Verification by Successive Approximation
  Information and Computation, 1995
• Temporal Proof Methodologies for Timed Transition-Systems
  Information and Computation, 1994
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Using mappings to prove timing properties
  Distributed Computing, 1992
• The complementation problem for Büchi automata with applications to temporal logic
  Theoretical Computer Science, 1987