Scatena, Guido (2011) Abstract probabilistic semantics for the analysis of biological systems models. Advisor: Barbuti, Prof. Roberto. Coadvisor: Levi, Prof. Francesca . pp. 167. [IMT PhD Thesis]