Formal reasoning about synthetic biology using higher‐order‐logic theorem proving
Article in IET Systems Biology (September 2020)
The most recent citing publications are shown below. View all 18 publications that cite this research output on Dimensions.
Article in IET Systems Biology (September 2020)
Article in Physical Review E (April 2018)
Article in Quantitative Biology (June 2017)