@misc{indiciae677fb15d1ff5,
  title = {Logical Characterization of Trace Metrics},
  author = {Valentina Castiglioni and Simone Tini},
  year = {2017},
  doi = {10.4204/eptcs.250.4},
  url = {https://arxiv.org/abs/1707.04124},
  note = {Source identifier: 1707.04124}
}