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...
| Үндсэн зохиолчид: | , |
|---|---|
| Бусад зохиолчид: | |
| Формат: | Conference item |
| Хэл сонгох: | English |
| Хэвлэсэн: |
2015
|