04 June 2020 POLITECNICO DI TORINO Repository ISTITUZIONALE 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. Original Formal verification of LTE-UMTS and LTE–LTE handover procedures elsevier Publisher: Published DOI:10.1016/j.csi.2016.08.009 Terms of use: openAccess Publisher copyright - (Article begins on next page) This article is made available under terms and conditions as specified in the corresponding bibliographic description in the repository Availability: This version is available at: 11583/2659528 since: 2017-05-12T16:23:48Z Elsevier