The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

Podrobná bibliografie
Hlavní autoři: van Breugel, F, Worrell, J
Médium: Kniha
Vydáno: 2014