scientific article; zbMATH DE number 7756098

DOI10.4230/lipics.dna.2020.4arXiv1912.06197MaRDI QIDQ6079211

Sarfraz Khurshid, David Soloveichik, Marko Vasic

Publication date: 27 October 2023

Full work available at URL: https://arxiv.org/abs/1912.06197

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal methodsmolecular programming

Mathematics Subject Classification ID

Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Smallest chemical reaction system with Hopf bifurcation
• \(CRN \mathrm{++}\): molecular programming language
• Model checking JAVA programs using JAVA PathFinder
• Fast enumeration of non-isomorphic chemical reaction networks
• Practical graph isomorphism. II.
• Probabilistic model checking of complex biological pathways
• Rate-independent computation in continuous chemical reaction networks
• Composable Computation in Discrete Chemical Reaction Networks
• Model Checking Gene Regulatory Networks

This page was built for publication: