TY  - BOOK
AU  -  Razzaq Misbah
TI  - MS/Thesis:Formal Verification of Internet Worm Propagation Model 
U1  - 004.12 MIS 
PY  - 2015///
CY  - Islamabad 
PB  - RCMS NUST
ER  -