@InProceedings{BMM09,
author={P. Ballarini and R. Mardare and I. Mura},
title={Analysing Biochemical Oscillation through Probabilistic Model Checking},
booktitle={Proc. 2nd Workshop From Biology to Concurrency and Back (FBTC'08)},
year={2009},

editor={},
pages={3-19},
organization={},
publisher={Elsevier},
series={Electronic Notes in Theoretical Computer Science},
volume={229 (issue 1)},
address={},
month={},
note={},
key={}
}