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.
@inproceedings{MeliaSAH06,
title = {Case study on the use of SDL for specifying an IETF micro mobility protocol},
author = {Telemaco Melia and Amardeo Sarma and Rui L. Aguiar and Dieter Hogrefe},
year = {2006},
tags = {case study, protocol},
researchr = {https://researchr.org/publication/MeliaSAH06},
cites = {0},
citedby = {0},
pages = {1-5},
booktitle = {Proceedings of the First International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), January 8-12, 2006, New Delhi, India},
publisher = {IEEE},
}