@book{24514,
	author = {Gul Humaira },
	title = {Modeling & Formal Verification, Using Model Checking, of an  Inverted Pendulum Based Coaxially Parallel , Two wheeled Transportation vehicle},
	publisher = {RCMS NUST,},
	year = {c,2012.},
	address = {Islamabad },
	note = {MS Thesis}
}