| Title: |
Verifying Chemical Reaction Networks with the Isabelle Theorem Prover |
| Authors: |
Lathrop, James I.; Osera, Peter-Michael; Schmidt, Addison W.; Slater, Jesse C. |
| Source: |
2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton) Communication, Control, and Computing (Allerton), 2023 59th Annual Allerton Conference on. :1-8 Sep, 2023 |
| Relation: |
2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton) |
| Database: |
IEEE Xplore Digital Library |