2005): Comparative branching-time semantics for Markov chains (0)

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