Technical Appendix from Automated sequence-level analysis of kinetics and thermodynamics for domain-level DNA strand-displacement systems BerleantJoseph BerlindChris BadeltStefan DannenbergFrits SchaefferJoseph WinfreeErik 2018 Formula Derivations and Case Study Data