TY  - CHAP

T1  - Relating Apartness and Branching Bisimulation Games

T2  - Lecture Notes in Computer Science

UR  - http://dx.doi.org/10.1007/978-3-031-61716-4_13

PY  - 2024/01/01

AU  - Rot J

AU  - Junges S

AU  - Beohar H

ED  - 

DO  - DOI: 10.1007/978-3-031-61716-4_13

PB  - Springer Nature Switzerland

SN  - 9783031617157

SP  - 203

EP  - 213

Y2  - 2024/12/23

ER  -