Modélisation précise et vérification des contraintes d'intégrité topologiques dans les bases de données spatiales: d'une étude d'expressivité à des principes de génération de codes
2005 · HAL (Le Centre pour la Communication Scientifique Directe) · 16 citations