Sébastien Praud

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index