Badelt, Stefan, Shin, Seung Woo, Johnson, Robert F, Dong, Qing, Thachuk, Chris, and Winfree, Erik. A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities. Retrieved from https://par.nsf.gov/biblio/10093595. DNA Computing and Molecular Programming . Web. doi:10.1007/978-3-319-66799-7_15.
Badelt, Stefan, Shin, Seung Woo, Johnson, Robert F, Dong, Qing, Thachuk, Chris, and Winfree, Erik.
"A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities". DNA Computing and Molecular Programming (). Country unknown/Code not available. https://doi.org/10.1007/978-3-319-66799-7_15.https://par.nsf.gov/biblio/10093595.
@article{osti_10093595,
place = {Country unknown/Code not available},
title = {A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities},
url = {https://par.nsf.gov/biblio/10093595},
DOI = {10.1007/978-3-319-66799-7_15},
abstractNote = {},
journal = {DNA Computing and Molecular Programming},
author = {Badelt, Stefan and Shin, Seung Woo and Johnson, Robert F and Dong, Qing and Thachuk, Chris and Winfree, Erik},
}
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.