Santa Fe Institute Collaboration Platform

Thermodynamics of Computation

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
11
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