The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: van Breugel, F, Worrell, J
التنسيق: كتاب
منشور في: 2014