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]
@article{CopetMSC17,
title = {Formal verification of LTE-UMTS and LTE-LTE handover procedures},
author = {Piergiuseppe Bettassa Copet and Guido Marchetto and Riccardo Sisto and Luciana Costa},
year = {2017},
doi = {10.1016/j.csi.2016.08.009},
url = {http://dx.doi.org/10.1016/j.csi.2016.08.009},
researchr = {https://researchr.org/publication/CopetMSC17},
cites = {0},
citedby = {0},
journal = {Computer Standards & Interfaces},
volume = {50},
pages = {92-106},
}