Verifying continuous time Markov chains

This publication has 7 references indexed in Scilit:

• A logic for reasoning about time and reliability
  Formal Aspects of Computing, 1994
• Model-checking for probabilistic real-time systems
  Published by Springer Nature ,1991
• Temporal and Modal Logic
  Published by Elsevier ,1990
• Verifying temporal properties of finite-state probabilistic programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Bandit Processes
  Published by Elsevier ,1983
• Irrational Numbers
  Published by American Mathematical Society (AMS) ,1956
• A Decision Method for Elementary Algebra and Geometry
  Published by University of California Press ,1951