On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
Molecular programming is an emerging field concerned with building synthetic biomolecular computing devices at nanoscale, for example from DNA or RNA molecules. Many promising applications have been proposed, ranging from diagnostic biosensors and nanorobots to synthetic biology, but prohibitive com...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference item |
| Language: | English |
| Published: |
2015
|