- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 1 |      | Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun: Accelerating Interpolation-Based Model-Checking. TACAS 2008: 428-442 |
| 1 | Emmanuel Fleury | [1] |
| 2 | Jérôme Leroux | [1] |
| 3 | Marc Zeitoun | [1] |