Verifying chemical reaction network implementations: A pathway decomposition approach

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 01, 2019
Source ID
10.1016/j.tcs.2017.10.011

Entities

People

  • Chris Thachuk
  • Erik Winfree
  • Seung Woo Shin

Organizations

  • Army Research Office
  • California Institute of Technology
  • National Science Foundation