On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets

Cached

Download Links

by Marta Kwiatkowska