Pushdown timed automata: a binary reachability characterization and safety verification

This publication has 14 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Specification of realtime systems using ASTRAL
  IEEE Transactions on Software Engineering, 1997
• A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)
  Electronic Notes in Theoretical Computer Science, 1997
• MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS
  International Journal of Foundations of Computer Science, 1996
• The benefits of relaxing punctuality
  Journal of the ACM, 1996
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• A really temporal logic
  Journal of the ACM, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Real-Time Logics: Complexity and Expressiveness
  Information and Computation, 1993
• The complexity of decision problems for finite-turn multicounter machines
  Journal of Computer and System Sciences, 1981