Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini. Deciding probabilistic automata weak bisimulation: theory and practice. Formal Asp. Comput., 28(1):109-143, 2016. [doi]
@article{FioritiHHT16, title = {Deciding probabilistic automata weak bisimulation: theory and practice}, author = {Luis María Ferrer Fioriti and Vahid Hashemi and Holger Hermanns and Andrea Turrini}, year = {2016}, doi = {10.1007/s00165-016-0356-4}, url = {http://dx.doi.org/10.1007/s00165-016-0356-4}, researchr = {https://researchr.org/publication/FioritiHHT16}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {28}, number = {1}, pages = {109-143}, }