Automata for modeling real-time systems

This publication has 15 references indexed in Scilit:

• Model-checking for probabilistic real-time systems
  Published by Springer Nature ,1991
• Real-Time Logics: Complexity and Expressiveness,
  Published by Defense Technical Information Center (DTIC) ,1990
• Timing assumptions and verification of finite-state concurrent systems
  Published by Springer Nature ,1990
• Specifying message passing systems requires extending temporal logic
  Published by Springer Nature ,1989
• The complementation problem for Büchi automata with applications to temporal logic
  Theoretical Computer Science, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• A timed model for communicating sequential processes
  Lecture Notes in Computer Science, 1986
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• 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