Verifying chemical reaction network implementations: A pathway decomposition approach
From Thermodynamics of Computation
- reference groups
- Artificial Biological Computation
- author-supplied keywords
- Automated design
- Chemical reaction networks
- DNA computing
- Formal verification
- Molecular computing
- Molecular programming
- keywords
- authors
- Seung Woo Shin
- Chris Thachuk
- Erik Winfree
- title
- Verifying chemical reaction network implementations: A pathway decomposition approach
- type
- journal
- year
- 2019
- source
- Theoretical Computer Science
- pages
- 67-96
- volume
- 765
- publisher
- Elsevier B.V.
- link
- https://www.mendeley.com/catalogue/cde622ac-7434-3706-9c67-c6ee3584bac7/(0)
Counts
- Citation count
- 12
- Page views
- 1
Identifiers
- doi: 10.1016/j.tcs.2017.10.011 (Google search)
- issn: 03043975
- sgr: 85033712646
- arxiv: 1411.0782
- scopus: 2-s2.0-85033712646
- pui: 619259193