Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security (0)

by R Lanotte, A Maggiolo-Schettini, A Troina
Venue:In: Proceedings SEFM’04. IEEE