"PARAM: A Model Checker for Parametric Markov Models."

Ernst Moritz Hahn et al. (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics