TY  - CONF

T1  - Hennessy-Milner Theorems via Galois Connections

JO  - Leibniz International Proceedings in Informatics, LIPIcs

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

SN  - 9783959772648

VL  - 252

Y2  - 2024/12/22

ER  -