The following publications are possibly variants of this publication:
- Weak Bisimulation for Fully Probabilistic ProcessesChristel Baier, Holger Hermanns. fbt 1997: 59-68
- Deciding Probabilistic Automata Weak Bisimulation in Polynomial TimeHolger Hermanns, Andrea Turrini. fsttcs 2012: 435-447 [doi]
- Deciding probabilistic automata weak bisimulation: theory and practiceLuis MarĂa Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini. fac, 28(1):109-143, 2016. [doi]
- On the Efficiency of Deciding Probabilistic Automata Weak BisimulationVahid Hashemi, Holger Hermanns, Andrea Turrini. eceasst, 66, 2013. [doi]