共 50 条
- [23] Abstracting Induction by Extrapolation and Interpolation VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015), 2015, 8931 : 19 - 42
- [29] NOISE SENSITIVITY OF BAND-LIMITED SIGNAL DERIVATIVE INTERPOLATION IEEE TRANSACTIONS ON ACOUSTICS SPEECH AND SIGNAL PROCESSING, 1983, 31 (04): : 1028 - 1032