共 50 条
- [32] ON LAGRANGE AND HERMITE INTERPOLATION-BASED ON THE LAGUERRE ABSCISSAS PUBLICATIONES MATHEMATICAE-DEBRECEN, 1994, 45 (1-2): : 19 - 28
- [35] Interpolation-Based GR(1) Assumptions Refinement TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017, 10205 : 281 - 297
- [37] A Configurable CEGAR Framework with Interpolation-Based Refinements FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2016), 2016, 9688 : 158 - 174