On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets (36th International Conference on Application and Theory of Petri Nets and Concurrency, 2015)

(untitled) - Barbot, B; Kwiatkowska, M