TY  - RPRT
TI  - Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach
AU  - Seung Woo Shin
AU  - Chris Thachuk
AU  - Erik Winfree
PY  - 2017
DO  - 10.1016/j.tcs.2017.10.011
UR  - https://arxiv.org/abs/1411.0782
ID  - 1411.0782
ER  -