Comparative Branching-Time Semantics for Markov Chains. (2005)

by C Baier, J-P Katoen, H Hermanns, V Wolf
Venue:Information and Computation