Details for the publication HashemiHT13.

Vahid Hashemi, Holger Hermanns (), Andrea Turrini: On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. In Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66, 2013. DOI BIB