Verification of Open Interactive Markov Chains
| Title | Verification of Open Interactive Markov Chains |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Brázdil, T, Hermanns, H, Krčál, J, Kret\'ınský, J, Rehák, V |
| Editor | D'Souza, D, Kavitha, T, Radhakrishnan, J |
| Conference Name | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India |
| Publisher | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik |
| ISBN Number | 978-3-939897-47-7 |
Work Package:
WP1
