TY  - BOOK
AU  - Naveed Ahmed Khan
TI  - Formal modelling and analysis of energy efficient and secure wireless sensor network (WSN) routing protocol
U1  - MSCCS-4 AHM 
PY  - 2015///
CY  - Islamabad
PB  - NUST-SEECS
N1  - Supervisors: Formal modelling and analysis of energy efficient and secure wireless sensor network (WSN) routing protocol
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/8035
ER  -