Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains
2018 ◽
pp. 681-699
◽
Keyword(s):
2020 ◽
Vol E103.A
(11)
◽
pp. 1252-1259
Keyword(s):
1985 ◽