Probabilistic model checking of biological systems with uncertain kinetic rates
scientific article; zbMATH DE number 6014329
scientific article