Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

Model Checking MANETs with Arbitrary Mobility

Fatemeh Ghassemi , Saeide Ahmadi , Wan Fokkink , Ali Movaghar
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.217-232, ⟨10.1007/978-3-642-40213-5_14⟩
Conference papers hal-01514658v1