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

by Ruggero Lanotte
Venue:In Proc. of SEFM’04, IEEE
Citations:5 - 3 self