Compositional Verification and Optimization of Interactive Markov Chains.

Holger Hermanns, Jan Krcl, Jan Kretnsk

Browse the full CONCUR paper archive.