Literature for Quantitative Model Checking

• Vorlesung Quantitative Model Checking
  
  


• Baier, Christel and Katoen, Joost-Pieter
  Principles of model checking
  MIT 2008
  BAI ch 2008:1 1.Ex
  


• Trivedi, Kishor Shridharbhai
  Probability and statistics with reliability
  Wiley 2002
  TRI k 2002:1 1.Ex