A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefan Badelt, Seung-Woo Shin, Robert F. Johnson, Qing Dong, Chris Thachuk, Erik Winfree. A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities. In Robert Brijder, Lulu Qian, editors, DNA Computing and Molecular Programming - 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings. Volume 10467 of Lecture Notes in Computer Science, pages 232-248, Springer, 2017. [doi]

This author has not been identified. Look up 'Stefan Badelt' in GoogleThis author has not been identified. Look up 'Seung-Woo Shin' in GoogleThis author has not been identified. Look up 'Robert F. Johnson' in GoogleThis author has not been identified. Look up 'Qing Dong' in GoogleThis author has not been identified. Look up 'Chris Thachuk' in GoogleThis author has not been identified. Look up 'Erik Winfree' in Google

runs on WebDSL