TY  - RPRT
TI  - Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects
AU  - Mathias Ruggaard Pedersen
PY  - 2019
UR  - https://arxiv.org/abs/1905.08531
ID  - 1905.08531
ER  -