Abdul Basit Ur Rahim, Muhammad <br/><br/>
Modeling And Verification of Real-Time And Hybrid Systems / 
Muhammad Abdul Basit Ur Rahim. 
 - Islamabad:  MCS - NUST,  2017. 
 - 144 p.: ill.;  35cm. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Ph. D Thesis.
<br/><br/><label>Dewey Class. No.: </label>004