I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Verification of Open Interactive Markov Chains


Tomas Brazdil, Holger Hermanns, Jan Krcal, Jan Kretinsky, and Vojtech Rehak. Verification of open interactive markov chains. Technical report FIMU-RS-2012-04, Faculty of Informatics, Masaryk University, Brno, 2012.

Suggested BibTeX entry:

    author = {Tom{a}s Br{a}zdil and Holger Hermanns and Jan Krc{a}l and Jan Kretinsky and Vojtech Reh{a}k},
    institution = {Faculty of Informatics, Masaryk University, Brno},
    number = {FIMU-RS-2012-04},
    title = {Verification of Open Interactive Markov Chains},
    type = {Technical report},
    year = {2012}

This work is not available online here.