@misc{indiciae43cbd527bf58,
  title = {Coalgebraic Behavioral Metrics},
  author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara König},
  year = {2024},
  doi = {10.23638/lmcs-14(3:20)2018},
  url = {https://arxiv.org/abs/1712.07511},
  note = {Source identifier: 1712.07511}
}