Verifying chemical reaction network implementations: A pathway decomposition approach.

Seung Woo Shin Chris Thachuk Erik Winfree

Published in: Theor. Comput. Sci. (2019)

Keyphrases

data sets
chemical reaction
chemical reactions
computer networks
communication networks
wireless sensor networks
network model
data flow
network structure
database
network design
neural network
real time
sensor networks
energy consumption
multiscale
network management
network resources
distributed network