Computing reachable states for nonlinear biological models
scientific article; zbMATH DE number 5883068
scientific article
Hybrid Systems: Computation and Control