TY  - RPRT
TI  - Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
AU  - Franck van Breugel
AU  - Babita Sharma
AU  - James Worrell
PY  - 2008
DO  - 10.2168/lmcs-4(2:2)2008
UR  - https://arxiv.org/abs/0803.3796
ID  - 0803.3796
ER  -