Compositional Reasoning for Parametric Probabilistic Automata.

Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen

Browse the full CONCUR paper archive.