Details for the publication HermannsT13.

Holger Hermanns (), Andrea Turrini: Cost Preserving Bisimulations for Probabilistic Automata. In CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, volume 8052 of Lecture Notes in Computer Science, pages 349-363, 2013. DOI BIB