Verifying chemical reaction network implementations: A pathway decomposition approach

Seung Woo Shin, Chris Thachuk, Erik Winfree
January 2017
Type
Journal article
Publication
Theoretical Computer Science