Probabilistic model checking in practice: Case studies with PRISM (0)

by M Kwiatkowska, G Norman, D Parker
Venue:ACM SIGMETRICS Performance Evaluation Review