PRISM 4.0: Verification of probabilistic real-time systems. (2011)

by M Kwiatkowska, G Norman, D Parker
Venue:CAV 2011. LNCS,