Stochastic model checking (2007)

by M Kwiatkowska, G Norman, D Parker
Venue:in Proceedings of Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation, ser. Lecture Notes in Computer Science (Tutorial