TY  - BOOK
AU  - Hafiz Muhammad Faraz Azhar.
TI  - Modeling and Analysis of HIF-1 Pathway using Formal Verification Techniques
U1  - 570.2 
PY  - 2022///
CY  - Islamabad
PB  - SINES-NUST
KW  - MS-Bioinformatics
ER  -