Formal semantics and verification of network-based biocomputation circuits (Q2234096): Difference between revisions

@@ Property / cites work @@
+Automated Design and Verification of Localized DNA Computation Circuits
+Normal rank
@@ Property / cites work @@
+Q4413225
@@ Property / cites work: Q4413225 / rank @@
+Normal rank
@@ Property / cites work @@
+NuSMV: A new symbolic model checker
@@ Property / cites work: NuSMV: A new symbolic model checker / rank @@
+Normal rank
@@ Property / cites work @@
+DNA Walker Circuits: Computational Potential, Design, and Verification
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems
+Normal rank
@@ Property / cites work @@
+Functional Analysis of Large-Scale DNA Strand Displacement Circuits
+Normal rank