| |
| 1999 | ||
|---|---|---|
| 2 | Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud: First Order Linear Temporal Logic over Finite Time Structures. LPAR 1999: 62-76 | |
| 1 | Véronique Benzaken, Serenella Cerrito, Sébastien Praud: Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique. Proc. 15èmes Journées Bases de Données Avancées, BDA 1999: 283-301 | |
| 1 | Véronique Benzaken | [1] |
| 2 | Serenella Cerrito | [1] [2] |
| 3 | Marta Cialdea Mayer | [2] |