Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Séminaire du labo
22 - 23 octobre 2012
22 octobre 2012
Membres du LACL
22 - 23 octobre 2012
Résumé à venir
Navigation de l’article
Exploiting Structure in LTL Synthesis
BSP Algorithms for LTL & CTL* Model Checking of Security Protocols
