TY  - RPRT
TI  - Bisimulation Metrics for Weighted Automata
AU  - Borja Balle
AU  - Pascale Gourdeau
AU  - Prakash Panangaden
PY  - 2017
UR  - https://arxiv.org/abs/1702.08017
ID  - 1702.08017
ER  -