Difference between revisions of "Modular verification of chemical reaction network encodings via serializability analysis"
From Thermodynamics of Computation
(CSV import Artificial Biological Computation) |
(CSV import Artificial 2) |
||
| Line 1: | Line 1: | ||
{{Reference Material | {{Reference Material | ||
| − | |reference groups=Artificial Biological Computation | + | |reference groups=Artificial Biological Computation, Artificial Biological Computation |
|Mendeley id=ad932c63-bdff-310e-9289-60d3a484b6ff | |Mendeley id=ad932c63-bdff-310e-9289-60d3a484b6ff | ||
}} | }} | ||
Revision as of 00:26, April 19, 2018
- reference groups
- Artificial Biological Computation
- 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
