@misc{indiciae8a075b455c34, title = {On the trade-off between labels and weights in quantitative bisimulation}, author = {Marco Peressotti}, year = {2017}, url = {https://arxiv.org/abs/1705.06439}, note = {Source identifier: 1705.06439} }