Items where authors include "Messing, K."

Proceedings Paper

Beohar, H. orcid.org/0000-0001-5256-1334, Gurke, S., König, B. et al. (1 more author) (2023) Hennessy-Milner theorems via Galois connections. In: Leibniz International Proceedings in Informatics, LIPIcs. 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), 13-16 Feb 2023, Warsaw, Poland. Leibniz International Proceedings in Informatics, 252 . Schloss Dagstuhl -- Leibniz-Zentrum , 12:1-12:18. ISBN 978-3-95977-264-8