It usually works: The temporal logic of stochastic systems

This publication has 11 references indexed in Scilit:

• A logic for reasoning about time and reliability
  Formal Aspects of Computing, 1994
• Equivalences for fair Kripke structures
  Published by Springer Nature ,1994
• Iteration Theories of Synchronization Trees
  Information and Computation, 1993
• Testing preorders for probabilistic processes
  Published by Springer Nature ,1992
• 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
• Verification of Probabilistic Programs
  SIAM Journal on Computing, 1984
• The complexity of elementary algebra and geometry
  Published by Association for Computing Machinery (ACM) ,1984
• Probabilistic temporal logics for finite and bounded models
  Published by Association for Computing Machinery (ACM) ,1984