![](/img/cover-not-exists.png)
Formal reasoning about systems biology using theorem proving
Rashid, Adnan, Hasan, Osman, Siddique, Umair, Tahar, Sofiène, Adamatzky, AndrewVolume:
12
Language:
english
Journal:
PLOS ONE
DOI:
10.1371/journal.pone.0180179
Date:
July, 2017
File:
PDF, 5.88 MB
english, 2017