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
Journées GT Verif du GDR IM
15 juin 2015
no seminar
Journées GT Verif du GDR IM
Navigation de l’article
Example of computation in living cells, gene assembly in ciliates
Trading Bounds for Memory in Games with Counters
