Formal reasoning about systems biology using theorem proving
Crossref DOI link: https://doi.org/10.1371/journal.pone.0180179
Published Online: 2017-07-03
Update policy: https://doi.org/10.1371/journal.pone.corrections_policy
Rashid, Adnan http://orcid.org/0000-0002-9729-584X
Hasan, Osman
Siddique, Umair
Tahar, Sofiène
Version of Record valid from 2017-07-03