Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects
Preprint in arXiv (May 2019)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Preprint in arXiv (May 2019)
Article in International Journal of Control (October 2012)
Article in Information and Computation (November 2004)