Author Info
Name
Papers
Collaborators
SÉBASTIEN PRAUD
2
3
Citations 
PageRank 
Referers 
19
1.43
19
Referees 
References 
25
15
Title
Citations
PageRank
Year
First Order Linear Temporal Logic over Finite Time Structures191.091999
Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique00.341999