Quantitative Verification of Markov Chains
Susanna Donatelli, Serge Haddad · 2013
This chapter contains sections titled: Introduction Performance evaluation of Markov models Verification of discrete time Markov chain Verification of continuous time Markov chain State of the art in the quantitative evaluation of Markov chains Bibliography