Evènement pour le groupe
Modélisation et Verification
Date | 2011-12-01 11:30-12:30 |
Titre | Propriétés de séparation dans la hiérarchie du mu-calcul sur les arbres (2) |
Résumé | |
Lieu | 076 |
Orateur | André Arnold |
Url | LaBRI |
Aucun document lié à cet événement.
RetourRetour à l'index