Modeling and Analysis of HIF-1 Pathway using Formal Verification Techniques - Hafiz Muhammad Faraz Azhar (Islamabad: SINES-NUST, 2022)
Keywords: MS-Bioinformatics.