Bowen Li, Neil Mackenzie, Ben Shirt-Ediss, Natalio Krasnogor, Paolo Zuliani. Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking. In Thomas E. Ouldridge, Shelley F. J. Wickham, editors, 28th International Conference on DNA Computing and Molecular Programming, DNA 28, August 8-12, 2022, University of New Mexico, Albuquerque, New Mexico, USA. Volume 238 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{LiMSKZ22,
title = {Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking},
author = {Bowen Li and Neil Mackenzie and Ben Shirt-Ediss and Natalio Krasnogor and Paolo Zuliani},
year = {2022},
doi = {10.4230/LIPIcs.DNA.28.5},
url = {https://doi.org/10.4230/LIPIcs.DNA.28.5},
researchr = {https://researchr.org/publication/LiMSKZ22},
cites = {0},
citedby = {0},
booktitle = {28th International Conference on DNA Computing and Molecular Programming, DNA 28, August 8-12, 2022, University of New Mexico, Albuquerque, New Mexico, USA},
editor = {Thomas E. Ouldridge and Shelley F. J. Wickham},
volume = {238},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-253-2},
}