Papers: 10.1371/journal.pone.0180179

https://doi.org/10.1371/journal.pone.0180179

Formal reasoning about systems biology using theorem proving

Cited by: 8
Author(s): Adnan Rashid, Osman Hasan, Umair Siddique, Sofiène Tahar
Published: about 9 years ago

Software Mentions 1

cran: BoolNet
Construction, Simulation and Analysis of Boolean Networks
Papers that mentioned: 73
Very Likely Science (85)