The power of reachability testing for timed automata

This publication has 24 references indexed in Scilit:

• Is your model checker on time? On the complexity of model checking for timed modal logics
  The Journal of Logic and Algebraic Programming, 2002
• A theory of timed automata
  Published by Elsevier ,2002
• The Power of Reachability Testing for Timed Automata
  Published by Springer Nature ,1998
• Model Checking via Reachability Testing for Timed Automata
  BRICS Report Series, 1997
• UPPAAL — a tool suite for automatic verification of real-time systems
  Published by Springer Nature ,1996
• Bisimulation can't be traced
  Journal of the ACM, 1995
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Quantales, observational logic and process semantics
  Mathematical Structures in Computer Science, 1993
• Minimum and maximum delay problems in real-time systems
  Formal Methods in System Design, 1992
• Testing equivalences for processes
  Theoretical Computer Science, 1984