TY  - THES
TI  - System Verification Via Generic Games: Behavioural Equivalence and Model Checking Games
AU  - Mika-Michalski, Christina and König, Barbara
editor = {König, Barbara},
A2  - König, Barbara
CY  - Duisburg
PB  - Universität Duisburg-Essen
PY  - 2022
PY  - 2022
LA  - English
KW  - Games
UR  - https://doi.org/10.17185/duepublico/75302
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:464-20220201-070334-2
UR  - https://d-nb.info/1252253729/34
UR  - https://duepublico2.uni-due.de/receive/duepublico_mods_00075302
UR  - https://search.fid-media.de/Record/13-1252253729
ER  -