Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev. A Markov Reward Model Checker. In Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy. pages 243-244, IEEE Computer Society, 2005. [doi]
Abstract is missing.