| 000 | 00610nam a22001937a 4500 | ||
|---|---|---|---|
| 999 |
_c24728 _d24728 |
||
| 003 | NUST | ||
| 008 | 141031b xxu||||| |||| 00| 0 eng d | ||
| 038 | _aNusrat Nadeem | ||
| 040 |
_aDLC _bDLC _cRCMS |
||
| 082 | _a004.12 ZAH | ||
| 100 |
_aZahid Addul _910873 |
||
| 245 |
_aMS Thesis :Reachability Analysis Based Verification Strategy For Model Reduction _cAbdul Zahid |
||
| 260 |
_aIslamabad _bRCMS NUST _cc,2014 |
||
| 300 |
_aix,65,p: _bHB _c25,cm, |
||
| 440 |
_aMS Thesis Computational Science and Engineering _910671 |
||
| 500 | _aMS Thesis | ||
| 700 | _4Dr. Jamil Ahmad (Supervisor ) | ||
| 942 |
_2ddc _cTHE |
||