External Links

Cite Key

Statistics

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

PDF

Tags

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.

Formal modelling and verification of the common hopping multi-channel MAC protocols

Abdelaziz El Fatni, Guy Juanole, Thierry Val. Formal modelling and verification of the common hopping multi-channel MAC protocols. In Violet R. Syrotiuk, Fatih Alagöz, Brahim Bensaou, Özgür B. Akan, editors, Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2010, Bodrum, Turkey, October 17-21, 2010. pages 311-318, ACM, 2010. [doi]

Authors

Abdelaziz El Fatni

This author has not been identified. Look up 'Abdelaziz El Fatni' in Google

Guy Juanole

This author has not been identified. Look up 'Guy Juanole' in Google

Thierry Val

This author has not been identified. Look up 'Thierry Val' in Google
runs on