@InProceedings{BLMS09,
author={R. Barbuti and F. Levi and P. Milazzo and G. Scatena},
title={Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates},
booktitle={3rd International Workshop on Reachability Problems (RP'09)},
year={2009},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}