@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={} }