@article {276,
	title = {On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation},
	journal = {{ECEASST}},
	volume = {66},
	year = {2013},
	url = {http://journal.ub.tu-berlin.de/eceasst/article/view/895},
	author = {Vahid Hashemi and Holger Hermanns and Andrea Turrini}
}