Approximative symbolic model checking of continuoustime Markov chains (1999)

by C Baier, H Hermans, J-P Katonen
Venue:Proceedings of the Tenth International Conference on Concurrency Theory, CONCUR99, number 1664 in Lecture Notes In Computer Science