Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach.

Seung Woo Shin Chris Thachuk Erik Winfree

Published in: CoRR (2014)

Keyphrases

chemical reaction
chemical reactions
network structure
data sets
communication networks
network traffic
link prediction
high throughput
complex networks
computer networks
database
communication cost
data flow
network management
network topologies
distributed network
wireless sensor networks
metabolic networks