The theory of timed automata

This publication has 20 references indexed in Scilit:

• Minimum and maximum delay problems in realtime systems
  Published by Springer Nature ,1992
• Model-checking for probabilistic real-time systems
  Published by Springer Nature ,1991
• A unified approach for showing language containment and equivalence between various types of ω-automata
  Published by Springer Nature ,1990
• The complementation problem for Büchi automata with applications to temporal logic
  Theoretical Computer Science, 1987
• Complementing deterministic Büchi automata in polynomial time
  Journal of Computer and System Sciences, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982
• Communicating sequential processes
  Communications of the ACM, 1978
• Theories of automata on ω-tapes: A simplified approach
  Journal of Computer and System Sciences, 1974
• Testing and generating infinite sequences by a finite automaton
  Information and Control, 1966