TY  - CONF

T1  - Expressivity of Bisimulation Pseudometrics over Analytic State Spaces

JO  - Leibniz International Proceedings in Informatics Lipics

PY  - 2025/07/28

AU  - Luckhardt D

AU  - Beohar H

AU  - Kupke C

ED  - 

DO  - DOI: 10.4230/LIPIcs.CALCO.2025.13

VL  - 342

Y2  - 2025/10/04

ER  -