Items where authors include "van Breugel, F."

Proceedings Paper

Turkenburg, R., Beohar, H. orcid.org/0000-0001-5256-1334, van Breugel, F. et al. (2 more authors) (2026) Constructing witnesses for lower bounds on behavioural distances. In: Guerrini, S. and König, B., (eds.) Leibniz International Proceedings in Informatics. 34th EACSL Annual Conference on Computer Science Logic (CSL 2026), 24-27 Feb 2026, Paris, France. Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik .