@phdthesis{
13-1252253729,
title = {System Verification Via Generic Games: Behavioural Equivalence and Model Checking Games},
author = {Mika-Michalski, Christina and König, Barbara},
editor = {König, Barbara},
address = {Duisburg},
publisher = {Universität Duisburg-Essen},
year = {2022},
language = {English},
url = {https://doi.org/10.17185/duepublico/75302},
url = {https://nbn-resolving.org/urn:nbn:de:hbz:464-20220201-070334-2},
url = {https://d-nb.info/1252253729/34},
url = {https://duepublico2.uni-due.de/receive/duepublico_mods_00075302},
url = {https://search.fid-media.de/Record/13-1252253729}
}