Berleant, Joseph Berlind, Chris Badelt, Stefan Dannenberg, Frits Schaeffer, Joseph Winfree, Erik Technical Appendix from Automated sequence-level analysis of kinetics and thermodynamics for domain-level DNA strand-displacement systems Formula Derivations and Case Study Data DNA strand displacement;formal verification;nucleic acid secondary structure;kinetics;thermodynamics 2018-12-07
    https://rs.figshare.com/articles/journal_contribution/Technical_Appendix_from_Automated_sequence-level_analysis_of_kinetics_and_thermodynamics_for_domain-level_DNA_strand-displacement_systems/7435283
10.6084/m9.figshare.7435283.v1