TY  - CONF

T1  - Constructing witnesses for lower bounds on behavioural distances

JO  - Leibniz International Proceedings in Informatics

PY  - 2025/10/13

AU  - Turkenburg R

AU  - Beohar H

AU  - van Breugel F

AU  - Kupke C

AU  - Rot J

ED  - 

PB  - Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

Y2  - 2026/02/01

ER  -