Naveed Ahmed Khan <br/><br/>
Formal modelling and analysis of energy efficient and secure wireless sensor network (WSN) routing protocol 

 - Islamabad  NUST-SEECS  2015 
 - 81p.  ill.;  CD-ROM 
<br/><br/> Supervisors: Formal modelling and analysis of energy efficient and secure wireless sensor network (WSN) routing protocol 
<br/><br/><label>Dewey Class. No.: </label>MSCCS-4 AHM