D.: Automated Verification Techniques for Probabilistic Systems (2011)

by V Forejt, M Kwiatkowska, G Norman, Parker
Venue:SFM 2011. LNCS