Hashemi, V.; Hermanss, H.; Turrini, A. On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. ECEASST 2014, 66.