On Timed Automata with Input-Determined Guards

This publication has 12 references indexed in Scilit:

• On Timed Automata with Input-Determined Guards
  Published by Springer Nature ,2004
• A Logical Characterisation of Event Clock Automata
  International Journal of Foundations of Computer Science, 2003
• A theory of timed automata
  Published by Elsevier ,2002
• The regular real-time languages
  Published by Springer Nature ,1998
• The benefits of relaxing punctuality
  Journal of the ACM, 1996
• Real-Time Logics: Complexity and Expressiveness
  Information and Computation, 1993
• Specifying real-time properties with metric temporal logic
  Real-Time Systems, 1990
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• Weak Second‐Order Arithmetic and Finite Automata
  Mathematical Logic Quarterly, 1960