1
TITLE: Case study on the use of SDL for specifying an IETF micro mobility protocol
AUTHORS: Telemaco Melia; Amardeo Sarma; Rui L Aguiar ; Dieter Hogrefe;
PUBLISHED: 2006, SOURCE: 1st International Conference on Communication Systems Software and Middleware in 2006 1st International Conference on Communication Systems Software & Middleware, Vols 1 and 2, VOLUME: 2006
INDEXED IN: Scopus WOS