00434nam a22001337a 4500003000500000005001700005008004100022038001800063082001500081100001400096245012600110260003100236700003300267NUST20191008110019.0191008b           ||||| |||| 00| 0 eng d  aNusrat Nadeem  a004.12 SAR  a Raq Sara  aMS/Thesis:Formal Modeling and Analysis of Cell Cycle Regulator E2F1 and Micro RNA-223 in Acute Myeloid LeukemiacSara Raq  aIslamabadbRCMS NUSTc2015  4Dr. Jamil Ahmad (Supervisor)