Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking (2022)

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.4230/lipics.dna.2022.5

Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85137762362

Type: Other

Volume: 238

Parent Publication: Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 18688969