Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations

From MaRDI portal
Publication:685128