Automated Design and Verification of Localized DNA Computation Circuits.

Michael A. Boemo, Andrew J. Turberfield, Luca Cardelli

Browse the full DNA paper archive.