Razzaq Misbah <br/><br/>
MS/Thesis:Formal Verification of Internet Worm Propagation Model  
Misbah Razzaq  
 - Islamabad   RCMS NUST  2015 
 -  (Dr.Jamil Supervisor) .
<br/><br/><label>Dewey Class. No.: </label>004.12 MIS