@book{592602,
	author = {Hafiz Muhammad Faraz Azhar.},
	title = {Modeling and Analysis of HIF-1 Pathway using Formal Verification Techniques /},
	publisher = {SINES-NUST,},
	year = {2022.},
	address = {Islamabad:}
}