Gul Humaira  <br/><br/>
Modeling & Formal Verification, Using Model Checking, of an  Inverted Pendulum Based Coaxially Parallel , Two wheeled Transportation vehicle 
Humaira Gul 
 - Islamabad   RCMS NUST,  c,2012. 
 - xi,55,p:  HB,  25,cm. 
 - MS Thesis Computational Sciences  .
<br/><br/> MS Thesis 
<br/><br/><label>ISBN: </label> Available 
<br/><br/><label>LC Class. No.: </label>004.12 HUM 
<br/><br/><label>Dewey Class. No.: </label>004.12 HUM