Skip to main navigation Skip to search Skip to main content

Model checking MANETs with arbitrary mobility

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)217-232
JournalLecture Notes in Computer Science
Volume8161
DOIs
Publication statusPublished - 2013

Bibliographical note

Proceedings title: Proc. 5th Conference on Fundamentals of Software Engineering - FSEN'13
Publisher: Springer

Cite this