TY  - BOOK
AU  - Rahim, Muhammad Abdul Basit Ur
AU  - Supervisor: Dr. Fahim Arif
TI  - Modeling and verification of real-time and hybrid system
U1  - 200 
PY  - 2017///
CY  - Rawalpindi
PB  - MCS NUST
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/3710
ER  -