Jump to Navigation

Combining SPIN with ns-2 for protocol optimization

TitleCombining SPIN with ns-2 for protocol optimization
Publication TypeConference Paper
Year of Publication2010
AuthorsMerino, P., and A. Salmeron
Conference NameJaco van de Pol y Michael Weber (Eds.). Model checking software: 17th International SPIN workshop. Enschede, The Netherlands, September 27-29, 2010. Proceedings
Date Publisheddec
PublisherSpringer
Conference LocationBerlín
ISBN Number978-3-642-16163-6


Main menu 2

Biblio | by Dr. Radut