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
On Module Checking and Strategies (joint work with Aniello Murano)
1 juillet 2019
Wojtek Jamroga
(Polish Academy of Sciences)
TBA
Navigation de l’article
Single-stranded architectures for computing
Soutenance HDR – Subshifts: aperiodicity, complexity and groups
