Stochastic model checking (2007)

by M Kwiatkowska, G Norman, D Parker
Venue:In Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2007 Advanced Lecture Notes in Computer Science