1. Robert B. Ash (1970): Basic Probability Theory. John Wiley & Sons.
  2. Christel Baier & Joost-Pieter Katoen (2008): Principles of Model Checking. The MIT Press.
  3. Patrick Billingsley (1995): Probability and Measure. John Wiley & Sons.
  4. Costas Courcoubetis & Mihalis Yannakakis (1995): The Complexity of Probabilistic Verification. Journal of the ACM 42(4), pp. 857–907, doi:10.1145/210332.210339.
  5. John G. Kemeny, J. Laurie Snell & Anthony W. Knapp (1966): Denumerable Markov Chains. Van Nostrand.
  6. Esteban Pavese, Victor Braberman & Sebastian Uchitel (2010): My Model Checker Died!: how well did it do?. In: Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems. ACM, Cape Town, pp. 33–40, doi:10.1145/1808877.1808884.
  7. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci & Marisa Venturini Zilli (2006): Finite Horizon Analysis of Markov Chains with the Murφ Verifier. International Journal on Software Tools for Technology 8(4/5), pp. 397–409, doi:10.1007/s10009-005-0216-7.
  8. Wilson A. Sutherland (1975): Introduction to Metric and Topological Spaces. Clarendon Press.
  9. Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park & Flavio Lerda (2003): Model Checking Programs. Automated Software Engineering 10(2), pp. 203–232, doi:10.1023/A:1022920129859.
  10. Xin Zhang & Franck van Breugel (2010): Model Checking Randomized Algorithms with Java PathFinder. In: Proceedings of 7th International Conference on Quantitative Evaluation of Systems. IEEE, Williamburgh, pp. 157–158, doi:10.1109/QEST.2010.28.
  11. Xin Zhang & Franck van Breugel (2011): A Progress Measure for Explicit-State Probabilistic Model-Checkers. In: Luca Aceto, Monika Henzinger & Jir\'ıSgall: Proceedings of the 38th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 6756. Springer-Verlag, Zurich, pp. 283–294, doi:10.1007/978-3-642-22012-8_22.

Comments and questions to:
For website issues: