共 50 条
- [7] Deductive Stability Proofs for Ordinary Differential Equations TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2021, 2021, 12652 : 181 - 199
- [10] Stability of numerical methods for ordinary stochastic differential equations along Lyapunov-type and other functions with variable step sizes ELECTRONIC TRANSACTIONS ON NUMERICAL ANALYSIS, 2005, 20 : 27 - 49