Visual DSD
From MaRDI portal
Software:46837
swMATH35128MaRDI QIDQ46837FDOQ46837
Author name not available (Why is that?)
Cited In (10)
- Verifying polymer reaction networks using bisimulation
- Functional Analysis of Large-Scale DNA Strand Displacement Circuits
- Modular Verification of DNA Strand Displacement Networks via Serializability Analysis
- Chemical Reaction Network Designs for Asynchronous Logic Circuits
- 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
- Verifying Chemical Reaction Network Implementations: A Bisimulation Approach
- 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
