TY  - RPRT
TI  - Logical Characterization of Bisimulation Metrics
AU  - Valentina Castiglioni
AU  - Daniel Gebler
AU  - Simone Tini
PY  - 2016
DO  - 10.4204/eptcs.227.4
UR  - https://arxiv.org/abs/1610.08169
ID  - 1610.08169
ER  -