TY  - RPRT
TI  - Compositional Verification and Optimization of Interactive Markov Chains
AU  - Holger Hermanns
AU  - Jan Krčál
AU  - Jan Křetínský
PY  - 2013
DO  - 10.1007/978-3-642-40184-8_26
UR  - https://arxiv.org/abs/1305.7332
ID  - 1305.7332
ER  -