|
[BLMS09]
R. Barbuti, F. Levi, P. Milazzo and G. Scatena.
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates.
In 3rd International Workshop on Reachability Problems (RP'09).
2009.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|