SPARK: A Kripke-Based Formal Analysis of the SN-MPR Routing Protocol in Wireless Sensor Networks.

Souad Marir, Hind Laouici, Walid Guenounou, Saadi Boudjit

Browse the full WiMob paper archive.