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...

Descripción completa

Detalles Bibliográficos
Autores principales: Lakin, Matthew R., Parker, David, Cardelli, Luca, Kwiatkowska, Marta, Phillips, Andrew
Formato: Online Artículo Texto
Lenguaje:English
Publicado: The Royal Society 2012
Materias:
Research Articles
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3367817/
https://www.ncbi.nlm.nih.gov/pubmed/22219398
http://dx.doi.org/10.1098/rsif.2011.0800

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3367817/
https://www.ncbi.nlm.nih.gov/pubmed/22219398
http://dx.doi.org/10.1098/rsif.2011.0800

Ejemplares similares