Modeling and Exploitation of Interaction and Concurrency Équipe de recherche1042691
MEXICOENS Paris-Saclay, 4 avenue des Sciences, 91190, Gif-sur-YvetteRNSR : 200920937YFrancehttp://www.inria.fr/equipes/mexicoDate de création : mercredi 1 janvier 2020Date de fermeture/fusion : jeudi 31 décembre 2020
Inria Saclay - Ile de France Laboratoire118511
1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
Campus de l'École Polytechnique
91120 PalaiseauRNSR : 200818248EROR : https://ror.org/0315e5x55Francehttp://www.inria.fr/centre/saclay
Institut National de Recherche en Informatique et en Automatique Institution300009
InriaDomaine de Voluceau
Rocquencourt - BP 105
78153 Le Chesnay CedexROR : https://ror.org/02kvxyf05Francehttp://www.inria.fr/en/ Structure verrouillée
Laboratoire Spécification et Vérification Laboratoire1042689
LSV4, avenue des Sciences, 91190, Gif-sur-YvetteFrancehttp://www.lsv.fr/Date de création : mercredi 1 janvier 2020Date de fermeture/fusion : jeudi 31 décembre 2020