Modular verification of chemical reaction network encodings via serializability analysis
From Thermodynamics of Computation
- reference groups
- Artificial Biological Computation
- author-supplied keywords
- Chemical reaction networks
- DNA strand displacement
- Modular verification
- Serializability
- keywords
- authors
- Matthew R. Lakin
- Darko Stefanovic
- Andrew Phillips
- title
- Modular verification of chemical reaction network encodings via serializability analysis
- type
- journal
- year
- 2016
- source
- Theoretical Computer Science
- pages
- 21-42
- volume
- 632
- publisher
- Elsevier
- link
- https://www.mendeley.com/catalogue/ad932c63-bdff-310e-9289-60d3a484b6ff/(0)
Counts
- Citation count
- 19
- Page views
- 0
Identifiers
- doi: 10.1016/j.tcs.2015.06.033 (Google search)
- issn: 03043975
- sgr: 84936802795
- scopus: 2-s2.0-84936802795
- pui: 605146243