Stochastic model checking (0)

by M Kwiatkowska, G Norman, D Parker
Venue:Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM’07), volume 4486 of LNCS