Automated Design and Verification of Localized DNA Computation Circuits

DOI10.1007/978-3-319-21999-8_11zbMath1404.68076OpenAlexW1189683562WikidataQ56981847 ScholiaQ56981847MaRDI QIDQ2948415

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

Publication date: 30 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-21999-8_11

Mathematics Subject Classification ID

Related Items (1)

Formal semantics and verification of network-based biocomputation circuits

Cites Work

• Abstract Modelling of Tethered DNA Circuits
• DNA Walker Circuits: Computational Potential, Design, and Verification
• Open source computer algebra systems

This page was built for publication: Automated Design and Verification of Localized DNA Computation Circuits