The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

Bibliographic Details
Main Authors: van Breugel, F, Worrell, J
Format: Book
Published: 2014