@inproceedings{inproceedings, title  = {{Constructing witnesses for lower bounds on behavioural distances}},

 publisher = {{Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik}},

 url = {{}},

 year = {{2025}},

 month = {{10}},

 author = {{Turkenburg R and Beohar H and van Breugel F and Kupke C and Rot J}},

 journal = {{Leibniz International Proceedings in Informatics}},

 note = {{Accessed on 2026/02/01}}}