Hafiz Muhammad Faraz Azhar. <br/><br/>
Modeling and Analysis of HIF-1 Pathway using Formal Verification Techniques / 
Muhammad, Faraz 
 - Islamabad:  SINES-NUST,  2022. 
 - 140 p. :  ill. ;  35cm. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>Subjects--Topical Terms: </label>--MS-Bioinformatics.
<br/><br/><label>Dewey Class. No.: </label>570.2  / AZH