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]
Abstract is missing.