Details for the publication JansenGTY20.

David N. Jansen (), Jan Friso Groote, Ferry Timmers, Pengfei Yang: A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains. In 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), volume 171 of LIPIcs, pages 8:1-8:20, 2020. DOI BIB