| 000 | 00463nam a22001577a 4500 | ||
|---|---|---|---|
| 999 |
_c532519 _d532519 |
||
| 003 | NUST | ||
| 005 | 20191122153229.0 | ||
| 008 | 191122b ||||| |||| 00| 0 eng d | ||
| 038 | _aNusrat Nadeem | ||
| 082 | _a004.12 MIS | ||
| 100 |
_a Razzaq Misbah _926095 |
||
| 245 |
_aMS/Thesis:Formal Verification of Internet Worm Propagation Model _cMisbah Razzaq |
||
| 260 |
_aIslamabad _bRCMS NUST _c2015 |
||
| 440 |
_n(Dr.Jamil Supervisor) _926096 |
||
| 942 |
_2ddc _cTHE |
||