%0 Electronic Article %A Göttsche, Malte %A Englert, Matthias %A Wittel, Madalina %A Hebel, Simon %T Sicherheit durch Verifikation: Wie ließe sich nukleare Abrüstung in Nordkorea überprüfen? %M RWTH-2020-07240 %D 2020 %F PUB:(DE-HGF)25 %9 Preprint %R 10.18154/RWTH-2020-07240 %U https://publications.rwth-aachen.de/record/793849