Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2

First Page		Document Content
Date: 2015-12-18 06:55:14 Probabilistic CTL Temporal logic Markov chain		Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2 Add to Reading List Source URL: pages.di.unipi.it Download Document from Source Website File Size: 269,80 KB Share Document on Facebook