Inproceedings,
Verifying Chemical Reaction Networks with the Isabelle Theorem Prover.
J. Lathrop, P. Osera, A. Schmidt, and J. Slater.Allerton, page 1-8. IEEE, (2023)
Meta data
- BibTeX key
- conf/allerton/LathropOSS23
- entry type
- inproceedings
- booktitle
- Allerton
- year
- 2023
- pages
- 1-8
- publisher
- IEEE
- crossref
- conf/allerton/2023
- ee
- https://doi.org/10.1109/Allerton58177.2023.10313474
- isbn
- 979-8-3503-2814-1
- url
- http://dblp.uni-trier.de/db/conf/allerton/allerton2023.html#LathropOSS23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/allerton/LathropOSS23
%A Lathrop, James I.
%A Osera, Peter-Michael
%A Schmidt, Addison W.
%A Slater, Jesse
%B Allerton
%D 2023
%I IEEE
%K dblp
%P 1-8
%T Verifying Chemical Reaction Networks with the Isabelle Theorem Prover.
%U http://dblp.uni-trier.de/db/conf/allerton/allerton2023.html#LathropOSS23
%@ 979-8-3503-2814-1
@inproceedings{conf/allerton/LathropOSS23,
added-at = {2023-11-29T00:00:00.000+0100},
author = {Lathrop, James I. and Osera, Peter-Michael and Schmidt, Addison W. and Slater, Jesse},
biburl = {https://www.bibsonomy.org/bibtex/276e4a75b66c9e53d547c9007591afa04/dblp},
booktitle = {Allerton},
crossref = {conf/allerton/2023},
ee = {https://doi.org/10.1109/Allerton58177.2023.10313474},
interhash = {3a4569eae20f9d53bea03f2d70a677ca},
intrahash = {76e4a75b66c9e53d547c9007591afa04},
isbn = {979-8-3503-2814-1},
keywords = {dblp},
pages = {1-8},
publisher = {IEEE},
timestamp = {2024-04-09T19:39:05.000+0200},
title = {Verifying Chemical Reaction Networks with the Isabelle Theorem Prover.},
url = {http://dblp.uni-trier.de/db/conf/allerton/allerton2023.html#LathropOSS23},
year = 2023
}