Reference:

Jan Kretinsky. Fundamental properties of probabilistic branching-time logics. Master's thesis, Masaryk University, Brno, Dept. of Computer Science, 2009.

Suggested BibTeX entry:

@mastersthesis{master:Kretinskycs09,
    author = {Jan Kretinsky},
    school = {Masaryk University, Brno, Dept. of Computer Science},
    title = {Fundamental Properties of Probabilistic Branching-Time Logics},
    year = {2009}
}