Report copyright - · Weak Bisimulation for Fully Probabilistic Processes Christel Baier a and Holger Hermanns b a Fakult at f ur Mathematik & Informatik, Universit at Mannheim, Seminargeb aude A 5,
Please pass captcha verification before submit form