H.: Weak bisimulation for fully probabilistic processes (1997)

by C Baier, Hermanns
Venue:In: CAV. LNCS