Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
vbac027.pdf (Publisher version), 197KB
Lüders, C., Sturm, T., & Radulescu, O. (2022). ODEbase: A Repository of ODE Systems for Systems Biology. Bioinformatics Advances, 2(2): vbac027. doi:10.1093/bioadv/vbac027.