Model-checking algorithms for continuous-time markov chains (0)

by C Baier, B Haverkort, H Hermanns, J-P Katoen
Venue:IEEE Trans. on Software Engineering