TY  - RPRT
TI  - Up-To Techniques for Weighted Systems (Extended Version)
AU  - Filippo Bonchi
AU  - Barbara König
AU  - Sebastian Küpper
PY  - 2017
UR  - https://arxiv.org/abs/1701.05001
ID  - 1701.05001
ER  -