Automated design and verification of localized DNA computation circuits (DNA Computing and Molecular Programming, 2015)

(untitled) - Boemo, M; Turberfield, A; Cardelli, L