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