| 000 | 00503nam a22001577a 4500 | ||
|---|---|---|---|
| 999 |
_c529078 _d529078 |
||
| 082 | _a004 | ||
| 100 | _aAbdul Basit Ur Rahim, Muhammad | ||
| 245 |
_aModeling And Verification of Real-Time And Hybrid Systems / _cMuhammad Abdul Basit Ur Rahim. |
||
| 260 |
_aIslamabad: _bMCS - NUST, _c2017. |
||
| 300 |
_a144 p.: ill.; _c35cm. |
||
| 942 |
_2ddc _cTHE |
||
| 650 |
_aPh. D Thesis. _919288 |
||
| 700 |
_aDr. Fahim Arif _920941 |
||