(Archived)

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

Authors

Rui L. Aguiar