TY  - BOOK
AU  - Ainan Ihsan 
TI  - Formal verification of leach protocol, and its extensions along with a remote serial network
U1  - BESE-1 AIN  
PY  - 2014///
CY  - NUST SEECS Islamabad 
PB  - NUST SEECS Islamabad 
N1  - Supervisor ; Dr Osman Hassan
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/24303
ER  -