The expressive power of clocks

This publication has 10 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Verifying ET-LOTOS programs with KRONOS
  Published by Springer Nature ,1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• The Observational Power of Clocks
  Published by Springer Nature ,1994
• Verification methods for the divergent runs of clock systems
  Published by Springer Nature ,1994
• Real-Time Logics: Complexity and Expressiveness
  Information and Computation, 1993
• Sooner is safer than later
  Information Processing Letters, 1992
• What good are digital clocks?
  Published by Springer Nature ,1992
• Logics and models of real time: A survey
  Published by Springer Nature ,1992
• Back to the future: towards a theory of timed regular languages
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992