@misc{indiciae753f8f7e355c,
  title = {Up-To Techniques for Weighted Systems (Extended Version)},
  author = {Filippo Bonchi and Barbara König and Sebastian Küpper},
  year = {2017},
  url = {https://arxiv.org/abs/1701.05001},
  note = {Source identifier: 1701.05001}
}