|
1066536
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire Méthodes Formelles |
|
Modeling and Exploitation of Interaction and Concurrency |
MEXICO |
researchteam |
ENS Paris-Saclay, 4 avenue des Sciences, 91190, Gif-sur-Yvette |
|
2021-01-01 |
|
|
|
157663
Infos complémentaires |
parentName_s |
Laboratoire Spécification et Vérification [Cachan]Inria Saclay - Ile de France |
|
Modeling and Exploitation of Interaction and Concurrency |
MEXICO |
researchteam |
LSV, ENS Cachan 61 av président Wilson 94235 Cachan cedex |
|
|
2019-12-31 |
|
|
1042691
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire Spécification et Vérification |
|
Modeling and Exploitation of Interaction and Concurrency |
MEXICO |
researchteam |
ENS Paris-Saclay, 4 avenue des Sciences, 91190, Gif-sur-Yvette |
|
2020-01-01 |
2020-12-31 |
|