Visual DSD
From MaRDI portal
swMATH35128MaRDI QIDQ46837FDOQ46837
Author name not available (Why is that?)
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
- Charlie
- MARCIE
- jViz.Rna
- PseudoViewer3
- Z34Bio
- Rosette
- Yosys
- CRN++
- Modular verification of DNA strand displacement networks via serializability analysis
- Functional analysis of large-scale DNA strand displacement circuits
- Verifying chemical reaction network implementations: a bisimulation approach
- Verifying chemical reaction network implementations: a bisimulation approach
- Chemical reaction network designs for asynchronous logic circuits
- 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
