Stochastic model checking (2007)

by Marta Kwiatkowska, Gethin Norman, David Parker
Venue:In Formal Methods for Performance Evaluation