Model checking MANETs with arbitrary mobility

W.J. Fokkink, F. Ghassemi, S. Ahmadi, A. Movaghar

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

Fokkink, W.J. ; Ghassemi, F. ; Ahmadi, S. ; Movaghar, A. / Model checking MANETs with arbitrary mobility. In: Lecture Notes in Computer Science. 2013 ; Vol. 8161. pp. 217-232.
@article{994fd48bca834559b1f2af08c8cab785,
title = "Model checking MANETs with arbitrary mobility",
author = "W.J. Fokkink and F. Ghassemi and S. Ahmadi and A. Movaghar",
note = "Proceedings title: Proc. 5th Conference on Fundamentals of Software Engineering - FSEN'13 Publisher: Springer",
year = "2013",
doi = "10.1007/978-3-642-40213-5_14",
language = "English",
volume = "8161",
pages = "217--232",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

Model checking MANETs with arbitrary mobility. / Fokkink, W.J.; Ghassemi, F.; Ahmadi, S.; Movaghar, A.

In: Lecture Notes in Computer Science, Vol. 8161, 2013, p. 217-232.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Model checking MANETs with arbitrary mobility

AU - Fokkink, W.J.

AU - Ghassemi, F.

AU - Ahmadi, S.

AU - Movaghar, A.

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

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-40213-5_14

DO - 10.1007/978-3-642-40213-5_14

M3 - Article

VL - 8161

SP - 217

EP - 232

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -