A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities

Stefan Badelt, Seung Woo Shin, Robert F Johnson, Qing Dong, Chris Thachuk, Erik Winfree
January 2017
Type
Conference paper
Publication
International Conference on DNA-Based Computers