Formal Analysis of 5G AKMA.

Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao

Browse the full SETTA paper archive.