DMCA

Comparative branching-time semantics for Markov chains (2003)

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