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]

Abstract

Abstract is missing.