A Markov chain model checker (2000)

by H Hermanns, J-P Katoen, J Meyer-Kayser, M Siegle
Venue:In Proceedings of TACAS, volume 1785 of LNCS