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", Proc. Commsware 2006, 1st International Conference on Communication System Software and Middleware, New Delhi, India, Jan 2006
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1665207&isnumber=34859

Information

Conference: Commsware 2006, 1st International Conference on Communication System Software and Middleware in New Delhi, India

Authors