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. In D'Souza et al., pages 474–485.

Suggested BibTeX entry:

    author = {Tomas Brazdil and Holger Hermanns and Jan Krcal and Jan Kretinsky and Vojtech Rehak},
    booktitle = {FSTTCS},
    editor = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan},
    pages = {474-485},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
    series = {LIPIcs},
    title = {Verification of Open Interactive Markov Chains},
    volume = {18},
    year = {2012}

This work is not available online here.