Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Bowen Li' in GoogleThis author has not been identified. Look up 'Neil Mackenzie' in GoogleThis author has not been identified. Look up 'Ben Shirt-Ediss' in GoogleThis author has not been identified. Look up 'Natalio Krasnogor' in GoogleThis author has not been identified. Look up 'Paolo Zuliani' in Google

runs on WebDSL