The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

Bibliografiset tiedot
Päätekijät: van Breugel, F, Worrell, J
Aineistotyyppi: Kirja
Julkaistu: 2014