Three-valued abstraction for continuous-time Markov chains. (2007)

by J-P Katoen, D Klink, M Leucker, V Wolf
Venue:In Proceedings of CAV ’07,