Numerical vs. statistical probabilistic model checking (2006)

by H L S Younes, M Z Kwiatkowska, G Norman, D Parker
Venue:International Journal on Software Tools for Technology Transfer