Загрузка...

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

Designing correct, robust DNA devices is difficult because of the many possibilities for unwanted interference between molecules in the system. DNA strand displacement has been proposed as a design paradigm for DNA devices, and the DNA strand displacement (DSD) programming language has been develope...

Полное описание

Сохранить в:
Библиографические подробности
Главные авторы: Lakin, Matthew R., Parker, David, Cardelli, Luca, Kwiatkowska, Marta, Phillips, Andrew
Формат: Artigo
Язык:Inglês
Опубликовано: The Royal Society 2012
Предметы:
Online-ссылка:https://ncbi.nlm.nih.gov/pmc/articles/PMC3367817/
https://ncbi.nlm.nih.gov/pubmed/22219398
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1098/rsif.2011.0800
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!