Model-checking for probabilistic real-time systems

This publication has 13 references indexed in Scilit:

• A framework for reasoning about time and reliability
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Using partial orders to improve automatic verification methods
  Published by American Mathematical Society (AMS) ,1991
• Model-checking for probabilistic real-time systems
  Published by Springer Nature ,1991
• A really temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1989
• Verifying temporal properties of finite-state probabilistic programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Regeneration and Networks of Queues
  Published by Springer Nature ,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
• Reasoning with time and chance
  Information and Control, 1982
• Continuity of Generalized Semi-Markov Processes
  Mathematics of Operations Research, 1980