Ainan Ihsan  <br/><br/>
Formal verification of leach protocol, and its extensions along with a remote serial network 

 - NUST SEECS Islamabad   NUST SEECS Islamabad   2014 
<br/><br/> Supervisor ; Dr Osman Hassan  
<br/><br/><label>Dewey Class. No.: </label>BESE-1 AIN