Formal verification of LTE-UMTS and LTE–LTE handover procedures

  • Citation: Formal verification of LTE-UMTS and LTE–LTE handover procedures / Bettassa Copet, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - STAMPA. - 50(2017), pp. 92-106.
  • Title: Formal verification of LTE-UMTS and LTE–LTE handover procedures
  • Full authors: Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa
  • Authors: Riccardo Sisto
  • Show in profile: Riccardo Sisto