Note that copyright regulations may apply for the downloads.
A symbolic approach to the state graph based analysis of high-level Markov reward models K.Lampka, Dissertation, Univ. Erlangen-Nuremberg 2007 Download, Abstract, BibTeX-Entry