Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa. Formal verification of LTE-UMTS and LTE-LTE handover procedures. Computer Standards & Interfaces, 50:92-106, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.