Formal reasoning about systems biology using theorem proving. Rashid, A., Hasan, O., Siddique, U., & Tahar, S. PloS one, 12(7):e0180179, Public Library of Science San Francisco, CA USA, 2017.
bibtex   
@article{rashid2017formal,
  title={Formal reasoning about systems biology using theorem proving},
  author={Rashid, Adnan and Hasan, Osman and Siddique, Umair and Tahar, Sofiene},
  journal={PloS one},
  volume={12},
  number={7},
  pages={e0180179},
  year={2017},
  publisher={Public Library of Science San Francisco, CA USA}
}

Downloads: 0