Formal verification of LTE-UMTS handover procedures.

Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa

Browse the full ISCC paper archive.