Probabilistic model checking of biological systems with uncertain kinetic rates

Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena. Probabilistic model checking of biological systems with uncertain kinetic rates. Theoretical Computer Science, 419:2-16, 2012. [doi]

Authors

Roberto Barbuti

This author has not been identified. Look up 'Roberto Barbuti' in Google

Francesca Levi

This author has not been identified. Look up 'Francesca Levi' in Google

Paolo Milazzo

This author has not been identified. Look up 'Paolo Milazzo' in Google

Guido Scatena

This author has not been identified. Look up 'Guido Scatena' in Google