TY  - BOOK
AU  - Abdul Basit Ur Rahim, Muhammad
AU  - Dr. Fahim Arif
TI  - Modeling And Verification of Real-Time And Hybrid Systems
U1  - 004 
PY  - 2017///
CY  - Islamabad
PB  - MCS - NUST
KW  - Ph. D Thesis
ER  -