Details for the publication TurriniH14.

Andrea Turrini, Holger Hermanns (): Cost Preserving Bisimulations for Probabilistic Automata. In Log. Methods Comput. Sci. 10(4), 2014. DOI BIB