Quantitative temporal reasoning

This publication has 29 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Deciding properties of timed transition models
  IEEE Transactions on Parallel and Distributed Systems, 1990
• Research on Automatic Verification of Finite-State Concurrent Systems
  Annual Review of Computer Science, 1987
• A timed failures model for extended communicating processes
  Published by Springer Nature ,1987
• The complexity of propositional linear temporal logics
  Journal of the ACM, 1985
• The glory of the past
  Published by Springer Nature ,1985
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982
• Alternation
  Journal of the ACM, 1981
• Propositional dynamic logic of regular programs
  Journal of Computer and System Sciences, 1979