AUTHOR=Azhar Hafiz Muhammad Faraz , Saeed Muhammad Tariq , Jabeen Ishrat 

TITLE=Dynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques

JOURNAL=Frontiers in Molecular Biosciences

VOLUME=11

YEAR=2024

URL=https://www.frontiersin.org/journals/molecular-biosciences/articles/10.3389/fmolb.2024.1386930

DOI=10.3389/fmolb.2024.1386930

ISSN=2296-889X