ModelChecking Algorithms for Continuous-Time Markov Chains (2003)

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