External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model Checking MANETs with Arbitrary Mobility

Fatemeh Ghassemi, Saeide Ahmadi, Wan Fokkink, Ali Movaghar. Model Checking MANETs with Arbitrary Mobility. In Farhad Arbab, Marjan Sirjani, editors, Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. Volume 8161 of Lecture Notes in Computer Science, pages 217-232, Springer, 2013. [doi]

Authors

Fatemeh Ghassemi

This author has not been identified. Look up 'Fatemeh Ghassemi' in Google

Saeide Ahmadi

This author has not been identified. Look up 'Saeide Ahmadi' in Google

Wan Fokkink

This author has not been identified. It may be one of the following persons: Look up 'Wan Fokkink' in Google

Ali Movaghar

This author has not been identified. Look up 'Ali Movaghar' in Google
runs on