Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs.

Youcef Hammal, Manel Seddiki, Mahfoud Benchaba, Abdelkrim Abdelli

Browse the full WCNC paper archive.