Compositional Verification and Optimization of Interactive Markov Chains
| Title | Compositional Verification and Optimization of Interactive Markov Chains |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Hermanns, H, Krčál, J, Kret\'ınský, J |
| Conference Name | CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings |
| Publisher | Springer |
| Conference Location | Buenos Aires |
| ISBN Number | 978-3-642-40183-1 |
Work Package:
WP1
