Skip to main content

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