@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20181126-085056720,
    title = "DNA Computing and Molecular Programming",
    chapter = "A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181126-085056720",
    id = "record",
    isbn = "978-3-319-66798-0",
    doi = "10.1007/978-3-319-66799-7\_15"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20181126-091057014,
    title = "DNA Computing and Molecular Programming",
    chapter = "The Design Space of Strand Displacement Cascades with Toehold-Size Clamps",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181126-091057014",
    id = "record",
    isbn = "978-3-319-66798-0",
    doi = "10.1007/978-3-319-66799-7\_5"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20181126-082746938,
    title = "DNA Computing and Molecular Programming",
    chapter = "Thermodynamic Binding Networks",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181126-082746938",
    id = "record",
    isbn = "978-3-319-66798-0",
    doi = "10.1007/978-3-319-66799-7\_16"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20181126-090207704,
    title = "DNA Computing and Molecular Programming",
    chapter = "Chemical Boltzmann Machines",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181126-090207704",
    id = "record",
    isbn = "978-3-319-66798-0",
    doi = "10.1007/978-3-319-66799-7\_14"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20181126-091545698,
    title = "DNA Computing and Molecular Programming",
    chapter = "Inferring Parameters for an Elementary Step Model of DNA Structure Kinetics with Locally Context-Dependent Arrhenius Rates",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181126-091545698",
    id = "record",
    isbn = "978-3-319-66798-0",
    doi = "10.1007/978-3-319-66799-7\_12"
}