A formal validation methodology for MANET routing protocols based on nodes self similarity

Stéphane Maag, Cyril Grepet, Ana R. Cavalli. A formal validation methodology for MANET routing protocols based on nodes self similarity. Computer Communications, 31(4):827-841, 2008. [doi]

Abstract

Abstract is missing.