The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: van Breugel, F, Worrell, J
Ձևաչափ: Գիրք
Հրապարակվել է: 2014