A Markov Chain Model Checker. (2000)

by H Hermanns, J-P Katoen, J Meyer-Kayser, M Siegle
Venue:In Proc. of the 6th Intl. Conf. on Tools and Algorithms for Construction and Analysis of Systems (TACAS