TY  - RPRT
TI  - Logical Characterization of Trace Metrics
AU  - Valentina Castiglioni
AU  - Simone Tini
PY  - 2017
DO  - 10.4204/eptcs.250.4
UR  - https://arxiv.org/abs/1707.04124
ID  - 1707.04124
ER  -