Original language | English |
---|---|
Journal | Journal of the Royal Society, Interface |
DOIs | |
Publication status | Published - 2012 |
Design and analysis of DNA strand displacement devices using probabilistic model checking
M.R. Lakin, D. Parker, L. Cardelli, M. Kwiatkowska, A. Phillips
Research output: Contribution to journal › Article › peer-review
66
Citations
(Scopus)