Rahim, Muhammad Abdul Basit Ur <br/><br/>
Modeling and verification of real-time and hybrid system/ 
Muhammad Abdul Basit Ur Rahim 
 - 144,p;  ill;  30,cm. 
<br/><br/><label>Dewey Class. No.: </label>200