Efficient scaling-invariant checking of timed bisimulation

This publication has 10 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• A space-efficient on-the-fly algorithm for real-time model checking
  Published by Springer Nature ,1996
• Fischer's protocol revisited: A simple proof using modal constraints
  Published by Springer Nature ,1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• The Observational Power of Clocks
  Published by Springer Nature ,1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• From ATP to timed graphs and hybrid systems
  Acta Informatica, 1993
• Parametric real-time reasoning
  Published by Association for Computing Machinery (ACM) ,1993
• Timed modal specification — Theory and tools
  Published by Springer Nature ,1993
• Decidability of bisimulation equivalences for parallel timer processes
  Published by Springer Nature ,1993