| 000 | nam a22 7a 4500 | ||
|---|---|---|---|
| 999 |
_c331957 _d331957 |
||
| 003 | NUST | ||
| 005 | 20171103161341.0 | ||
| 008 | 171103b xxu||||| |||| 00| 0 eng d | ||
| 040 |
_aDLC _bDLC _cRCMS |
||
| 082 | _a621.001 FAU | ||
| 100 |
_aFauzia Ehsan _95947 |
||
| 245 |
_aMS Thesis: Probabilistic Formal Modeling And Verification of Real Time Task Scheduling On Multiprocessor _b Ehsan Fauzia |
||
| 260 |
_aIslamabad _bRCMS NUST _cC,2017. |
||
| 300 |
_ax,109,p: _bill: _c30,cm. |
||
| 538 | _iShelf No 7 Row No 3 | ||
| 610 |
_xComputational Science and Engineering _95948 |
||
| 942 |
_2ddc _cTHE |
||