"Decidability Results for Parametric Probabilistic Transition Systems with ..."

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics