@incollection{
year={2015},
isbn={978-3-319-19487-5},
booktitle={Application and Theory of Petri Nets and Concurrency},
volume={9115},
series={Lecture Notes in Computer Science},
editor={Devillers, Raymond and Valmari, Antti},
doi={10.1007/978-3-319-19488-2_1},
title={On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets},
url={http://dx.doi.org/10.1007/978-3-319-19488-2_1},
publisher={Springer International Publishing},
author={Barbot, Benoît and Kwiatkowska, Marta},
pages={1-32},
language={English}
}