DMCA

Comparative branching-time semantics for Markov chains (2003)

by Christel Baier , Joost-pieter Katoen , Holger Hermanns , Verena Wolf
Venue:Information and Computation
Citations:64 - 17 self