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]

Possibly Related Publications

The following publications are possibly variants of this publication: