Chris Thachuk
Home
Talks
Publications
Contact
Seung Woo Shin
Latest
A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities
Verifying chemical reaction network implementations: A pathway decomposition approach
Cite
×