Case study on the use of SDL for specifying an IETF micro mobility protocol

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.

Possibly Related Publications

The following publications are possibly variants of this publication: