Details for the publication FioritiHHT16.

Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns (), Andrea Turrini: Deciding probabilistic automata weak bisimulation: theory and practice. In Formal Aspects Comput. 28(1):109-143, 2016. DOI BIB