@book{24728,
	author = {Zahid Addul},
	title = {MS Thesis :Reachability Analysis Based Verification Strategy For Model Reduction},
	publisher = {RCMS NUST},
	year = {c,2014},
	address = {Islamabad},
	note = {MS Thesis }
}