Probabilistic model checking in practice: case studies with prism (0)

by Marta Kwiatkowska, Gethin Norman, David Parker
Venue:ACM SIGMETRICS Performance Evaluation Review, 32:16