Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan. Characterising Testing Preorders for Finite Probabilistic Processes. Logical Methods in Computer Science, 4(4), 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.