Formal verification of LTE-UMTS and LTE–LTE handover procedures
Copet, Piergiuseppe Bettassa, Marchetto, Guido, Sisto, Riccardo, Costa, LucianaVolume:
50
Language:
english
Journal:
Computer Standards & Interfaces
DOI:
10.1016/j.csi.2016.08.009
Date:
February, 2017
File:
PDF, 840 KB
english, 2017