TY  - RPRT
TI  - Characterising Probabilistic Processes Logically
AU  - Yuxin Deng
AU  - Rob van Glabbeek
PY  - 2010
DO  - 10.1007/978-3-642-16242-8_20
UR  - https://arxiv.org/abs/1007.5188
ID  - 1007.5188
ER  -