|
541717
Infos complémentaires |
parentName_s |
LIP6 |
|
Modélisation et Vérification |
MoVe |
researchteam |
|
|
2018-01-01 |
|
|
|
530003
Infos complémentaires |
parentName_s |
Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) |
|
Modélisation et Vérification |
MOVE |
researchteam |
Luminy |
|
|
|
|
|
405336
Infos complémentaires |
parentName_s |
Laboratoire d'Informatique de Paris 6 |
|
Modélisation et Vérification |
MoVe |
researchteam |
|
|
2004-01-01 |
2017-12-31 |
|
|
484948
Infos complémentaires |
parentName_s |
Laboratoire d'informatique Fondamentale de Marseille |
|
Modélisation et Vérification |
MOVE |
researchteam |
Luminy |
|
|
|
|
|
396892
Infos complémentaires |
parentName_s |
Laboratoire d'informatique Algorithmique : Fondements et Applications |
|
Modélisation et Vérification |
|
researchteam |
|
|
|
|
|