Visual DSD

MaRDI QIDQ46837swMATHFDO

Official website https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3208393/

Cited in

(18)

• Verifying polymer reaction networks using bisimulation
• A strand graph semantics for DNA-based computation
• Modular verification of chemical reaction network encodings via serializability analysis
• Verifying chemical reaction network implementations: a bisimulation approach
• Chemical reaction network designs for asynchronous logic circuits
• Verifying chemical reaction network implementations: a bisimulation approach
• Modular verification of DNA strand displacement networks via serializability analysis
• Functional analysis of large-scale DNA strand displacement circuits
• Charlie
• MARCIE
• jViz.Rna
• PseudoViewer3
• Z34Bio
• Rosette
• Yosys
• CRN++
• On the stability of nucleic acid feedback control systems
• Design of nucleic acid strands with long low-barrier folding pathways

This page was built for software: Visual DSD