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