EasyChair Smart Slide
Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains
Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains