Article Dans Une Revue
The Computer Journal
Année : 2009
Fei He : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00547315
Soumis le : jeudi 16 décembre 2010-04:45:44
Dernière modification le : mardi 26 mars 2024-16:24:04
Dates et versions
Identifiants
- HAL Id : inria-00547315 , version 1
Citer
Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun. Heuristic-Guided Abstraction Refinement. The Computer Journal, 2009. ⟨inria-00547315⟩
118
Consultations
0
Téléchargements