Details for the publication HermannsT12.

Holger Hermanns (), Andrea Turrini: Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, volume 18 of LIPIcs, pages 435-447, 2012. DOI BIB