@misc{indiciae73ecf21418dc,
  title = {Computing Distinguishing Formulae for Threshold-Based Behavioural Distances},
  author = {Jonas Forster and Lutz Schröder and Paul Wild and Barbara König and Pedro Nora},
  year = {2026},
  url = {https://arxiv.org/abs/2602.12084},
  note = {Source identifier: 2602.12084}
}