On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
B. Barbot and M. Kwiatkowska
Book Title
Proc. 36th International Conference on Application and Theory of Petri Nets and Concurrency
Note
To appear.
Year
2015