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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.