共 50 条
- [37] 2-Valued and 3-Valued Abstraction-Refinement in Model Checking LOGICS AND LANGUAGES FOR RELIABILITY AND SECURITY, 2010, 25 : 105 - 128
- [40] NUMERICAL SOLUTIONS OF LINEAR SINGULAR INTEGRAL EQUATIONS BY MEANS OF TIKHONOV REGULARIZATION AND REPRODUCING KERNELS HOUSTON JOURNAL OF MATHEMATICS, 2012, 38 (04): : 1261 - 1276