Formal Analysis of 5G AKMA

von Yang, Tengshun
Veröffentlicht in SETTA (7. : 2021 : Peking) Dependable software engineering (2021)