Michael A. Boemo, Andrew J. Turberfield, Luca Cardelli. Automated Design and Verification of Localized DNA Computation Circuits. In Andrew Phillips, Peng Yin, editors, DNA Computing and Molecular Programming - 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings. Volume 9211 of Lecture Notes in Computer Science, pages 168-180, Springer, 2015. [doi]
Abstract is missing.