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 journalArticlepeer-review

66 Citations (Scopus)
Original languageUndefined/Unknown
JournalJournal of the Royal Society, Interface
DOIs
Publication statusPublished - 2012

Cite this