Model checking MANETs with arbitrary mobility

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

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	217-232
Journal	Lecture Notes in Computer Science
Volume	8161
DOIs	https://doi.org/10.1007/978-3-642-40213-5_14
Publication status	Published - 2013

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

Access to Document

@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 Science and Business Media Deutschland GmbH",

}

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

SN - 0302-9743

VL - 8161

SP - 217

EP - 232

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -