A determinizable class of timed automata

This publication has 15 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Efficient verification of parallel real-time systems
  Published by Springer Nature ,1993
• Computing accumulated delays in real-time systems
  Published by Springer Nature ,1993
• Using mappings to prove timing properties
  Distributed Computing, 1992
• Minimum and maximum delay problems in realtime systems
  Published by Springer Nature ,1992
• Putting time into proof outlines
  Published by Springer Nature ,1992
• Temporal proof methodologies for real-time systems
  Published by Association for Computing Machinery (ACM) ,1991
• Time-constrained automata
  Published by Springer Nature ,1991
• The complementation problem for Büchi automata with applications to temporal logic
  Theoretical Computer Science, 1987