|
[LLL+12]
Robyn Lutz, Jack Lutz, James Lathrop, Titus Klinge, Eric Henderson, Divita Mathur and Dalia Abo Sheasha.
Engineering and Verifying Requirements for Programmable Self-Assembling Nanomachines.
In Proc. 34th ACM/IEEE International Conference on Software Engineering (ICSE'12).
2012.
[bib]
[Proposes validation techniques for programmable DNA self-assemblies, using DNA origami pliers as an example, and applying PRISM for analysis.]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|