@book{529964,
	author = { Raq Sara},
	title = {MS/Thesis:Formal Modeling and Analysis of Cell Cycle Regulator E2F1 and Micro RNA-223 in Acute Myeloid Leukemia},
	publisher = {RCMS NUST},
	year = {2015},
	address = {Islamabad}
}