Login / Signup

Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains.

Qiyi TangFranck van Breugel
Published in: CONCUR (2017)
Keyphrases