Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks

Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard. Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. In Judi Romijn, Graeme Smith, Jaco van de Pol, editors, Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings. Volume 3771 of Lecture Notes in Computer Science, pages 266-286, Springer, 2005. [doi]

Authors

Lars Michael Kristensen

This author has not been identified. Look up 'Lars Michael Kristensen' in Google

Michael Westergaard

This author has not been identified. Look up 'Michael Westergaard' in Google

Peder Christian Nørgaard

This author has not been identified. Look up 'Peder Christian Nørgaard' in Google