Cost preserving bisimulations for probabilistic automata (2013)

by Holger Hermanns, Andrea Turrini
Venue:In CONCUR, volume 8052 of LNCS