Design and analysis of DNA strand displacement devices using probabilistic model checking

Research output: Contribution to journal › Article › peer-review

66 Citations (Scopus)

Original language	English
Journal	Journal of the Royal Society, Interface
DOIs	https://doi.org/10.1098/rsif.2011.0800
Publication status	Published - 2012

Access to Document

@article{a52d1d262fbe4458bc518c16d259e0c8,

title = "Design and analysis of DNA strand displacement devices using probabilistic model checking",

author = "M.R. Lakin and D. Parker and L. Cardelli and M. Kwiatkowska and A. Phillips",

year = "2012",

doi = "10.1098/rsif.2011.0800",

language = "English",

journal = "Journal of the Royal Society, Interface",

issn = "1742-5662",

publisher = "The Royal Society",

}

TY - JOUR

T1 - Design and analysis of DNA strand displacement devices using probabilistic model checking

AU - Lakin, M.R.

AU - Parker, D.

AU - Cardelli, L.

AU - Kwiatkowska, M.

AU - Phillips, A.

PY - 2012

Y1 - 2012

UR - https://www.scopus.com/pages/publications/84863600034

U2 - 10.1098/rsif.2011.0800

DO - 10.1098/rsif.2011.0800

M3 - Article

SN - 1742-5662

JO - Journal of the Royal Society, Interface

JF - Journal of the Royal Society, Interface

ER -