Ott, Jason, Tan, Daniel, Loveless, Tyson, Grover, William H., and Brisk, Philip. ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals. Retrieved from https://par.nsf.gov/biblio/10170611. Journal of Chemical Information and Modeling . Web. doi:10.1021/acs.jcim.9b00951.
Ott, Jason, Tan, Daniel, Loveless, Tyson, Grover, William H., & Brisk, Philip. ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals. Journal of Chemical Information and Modeling, (). Retrieved from https://par.nsf.gov/biblio/10170611. https://doi.org/10.1021/acs.jcim.9b00951
Ott, Jason, Tan, Daniel, Loveless, Tyson, Grover, William H., and Brisk, Philip.
"ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals". Journal of Chemical Information and Modeling (). Country unknown/Code not available. https://doi.org/10.1021/acs.jcim.9b00951.https://par.nsf.gov/biblio/10170611.
@article{osti_10170611,
place = {Country unknown/Code not available},
title = {ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals},
url = {https://par.nsf.gov/biblio/10170611},
DOI = {10.1021/acs.jcim.9b00951},
abstractNote = {},
journal = {Journal of Chemical Information and Modeling},
author = {Ott, Jason and Tan, Daniel and Loveless, Tyson and Grover, William H. and Brisk, Philip},
}
Warning: Leaving National Science Foundation Website
You are now leaving the National Science Foundation website to go to a non-government website.
Website:
NSF takes no responsibility for and exercises no control over the views expressed or the accuracy of
the information contained on this site. Also be aware that NSF's privacy policy does not apply to this site.