Modelling IP Mobility

Roberto M. Amadio, Sanjiva Prasad. Modelling IP Mobility. Formal Methods in System Design, 17(1):61-99, 2000.

Abstract

Abstract is missing.