2006): PRISM: A tool for automatic verification of probabilistic systems (0)

by A Hinton, M Kwiatkowska, G Norman, D Parker
Venue:In: Proc. of TACAS’06, LNCS 3920