: an funded by the an nsf expedition in computing an nsf expedition Menu

Verifying chemical reaction network implementations: A pathway decomposition approach


Journal:
Shin SW, Thachuk C, Winfree E , (). Verifying chemical reaction network implementations: A pathway decomposition approach Theor. Comput. Sci. . ,

Abstract:

The emerging fields of genetic engineering, synthetic biology, DNA computing, DNA nanotechnology, and molecular programming herald the birth of a new information technology that acquires information by directly sensing molecules within a chemical …

URL: https://www.sciencedirect.com/science/article/pii/S0304397517307399

read article