Formal verification of leach protocol, and its extensions along with a remote serial network - Ainan Ihsan (NUST SEECS Islamabad NUST SEECS Islamabad, 2014)
Supervisor ; Dr Osman Hassan