Sébastien Praud

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud
First Order Linear Temporal Logic over Finite Time Structures. LPAR (1999)
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)