TY  - CONF

T1  - Hennessy-Milner theorems via Galois connections

JO  - Leibniz International Proceedings in Informatics, LIPIcs

UR  - https://eprints.whiterose.ac.uk/id/eprint/200914

PY  - 2023/02/01

AU  - Beohar H

AU  - Gurke S

AU  - König B

AU  - Messing K

ED  - 

DO  - DOI: 10.4230/LIPIcs.CSL.2023.12

PB  - Schloss Dagstuhl -- Leibniz-Zentrum

SN  - 978-3-95977-264-8

VL  - 252

SP  - 12:1

EP  - 12:18

Y2  - 2025/11/20

ER  -