The Royal Society
Browse
rsif20230019_si_001.pdf (896.11 kB)

Supplementary Material from Verifiable biology

Download (896.11 kB)
journal contribution
posted on 2023-04-27, 06:57 authored by Savas Konur, Marian Gheorghe, Natalio Krasnogor
Examples of biological systems analysed using model checking techniques and application of the verification methodology to an example synthetic biology system.

History

Usage metrics

    Journal of the Royal Society Interface

    Categories

    Keywords

    modellingverificationcomputational biologysynthetic biologybiological systemsbiochemical networks

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC