The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

מידע ביבליוגרפי
Main Authors: van Breugel, F, Worrell, J
פורמט: ספר
יצא לאור: 2014