TY  - RPRT
TI  - On the trade-off between labels and weights in quantitative bisimulation
AU  - Marco Peressotti
PY  - 2017
UR  - https://arxiv.org/abs/1705.06439
ID  - 1705.06439
ER  -