TY  - BOOK
AU  - Gul Humaira 
AU  - 
TI  - Modeling & Formal Verification, Using Model Checking, of an  Inverted Pendulum Based Coaxially Parallel , Two wheeled Transportation vehicle
AV  - 004.12 HUM 
U1  - 004.12 HUM 
PY  - 2012///
CY  - Islamabad 
PB  - RCMS NUST
N1  - MS Thesis
ER  -