Mäurer, NilsGrundner-Culemann, SophiaLoebenberger, DanielNüsken, Michael2022-06-272022-06-272022https://dl.gi.de/handle/20.500.12116/38746enFormal Verification of the LDACS MAKE ProtocolText/Abstract10.18420/cdm-2022-34-24