Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa. Formal verification of LTE-UMTS handover procedures. In 2015 IEEE Symposium on Computers and Communication, ISCC 2015, Larnaca, Cyprus, July 6-9, 2015. pages 738-744, IEEE Computer Society, 2015. [doi]
Abstract is missing.