000 00449nam a22001457a 4500
020 _qHard Copy.
040 _cSINES-NUST,
082 _a570.2
_bAZH
100 _aHafiz Muhammad Faraz Azhar.
_9104181
245 _aModeling and Analysis of HIF-1 Pathway using Formal Verification Techniques /
_cMuhammad, Faraz
260 _aIslamabad:
_bSINES-NUST,
_c2022.
300 _a140 p. :
_bill. ;
_c35cm.
650 _xMS-Bioinformatics.
942 _2ddc
_cTHE
999 _c592602
_d592602