Lathrop, James I., Osera, Peter-Michael, Schmidt, Addison W., and Slater, Jesse C. Verifying Chemical Reaction Networks with the Isabelle Theorem Prover. 2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton) . Web. doi:10.1109/Allerton58177.2023.10313474.

Lathrop, James I., Osera, Peter-Michael, Schmidt, Addison W., & Slater, Jesse C. Verifying Chemical Reaction Networks with the Isabelle Theorem Prover. 2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton), (). https://doi.org/10.1109/Allerton58177.2023.10313474

Lathrop, James I., Osera, Peter-Michael, Schmidt, Addison W., and Slater, Jesse C. "Verifying Chemical Reaction Networks with the Isabelle Theorem Prover". 2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton) (). Country unknown/Code not available: IEEE. https://doi.org/10.1109/Allerton58177.2023.10313474. https://par.nsf.gov/biblio/10497566.

@article{osti_10497566,
place = {Country unknown/Code not available}, title = {Verifying Chemical Reaction Networks with the Isabelle Theorem Prover}, url = {https://par.nsf.gov/biblio/10497566}, DOI = {10.1109/Allerton58177.2023.10313474}, abstractNote = {}, journal = {2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton)}, publisher = {IEEE}, author = {Lathrop, James I. and Osera, Peter-Michael and Schmidt, Addison W. and Slater, Jesse C.}, }