Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Dieter Hogrefe. Case study on the use of SDL for specifying an IETF micro mobility protocol. In Proceedings of the First International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), January 8-12, 2006, New Delhi, India. pages 1-5, IEEE, 2006.
Abstract is missing.