00393nam a22001337a 4500003000500000005001700005008004100022038001800063082001500081100001900096245008600115260003200201440002600233NUST20191122153229.0191122b           ||||| |||| 00| 0 eng d  aNusrat Nadeem  a004.12 MIS  a Razzaq Misbah  aMS/Thesis:Formal Verification of Internet Worm Propagation Model cMisbah Razzaq   aIslamabad bRCMS NUSTc2015  n(Dr.Jamil Supervisor)