Fiche d'une structure

 Modeling and Verification of Distributed Algorithms and Systems Équipe de recherche107895
VERIDISRNSR : 201020692CFrancehttp://www.inria.fr/equipes/veridisDate de création : dimanche 1 juillet 2012
 Max-Planck-Institut für Informatik Laboratoire54489
MPIICampus E-1 4, 66123 Saarbrücken, GermanyAllemagnehttp://www.mpi-inf.mpg.de/
 Max-Planck-Gesellschaft Institution5247
Jägerstrasse, 10-11, D-10117 BerlinAllemagnehttps://www.mpg.de/en
 Inria Nancy - Grand Est Laboratoire129671
615 rue du Jardin Botanique 54600 Villers-lès-NancyRNSR : 198618246YROR : https://ror.org/03fcjvn64Francehttp://www.inria.fr/nancy
 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
 Department of Formal Methods Regroupement d'équipes423084
 Laboratoire Lorrain de Recherche en Informatique et ses Applications Laboratoire206040
LORIACampus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy CedexIdRef : 067077927ISNI : 0000000121795429RNSR : 198912571SIdUnivLorraine : [UL]RSI--ROR : https://ror.org/02vnf0c38Francehttp://www.loria.frDate de création : dimanche 1 janvier 2012
 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
 Université de Lorraine Institution413289
UL34 cours Léopold - CS 25233 - 54052 Nancy cedexIdRef : 157040569IdUnivLorraine : [UL]100--ROR : https://ror.org/04vfs2w97Francehttp://www.univ-lorraine.fr/Date de création : dimanche 1 janvier 2012 Structure verrouillée
UMR7503
 Centre National de la Recherche Scientifique Regroupement d'Institutions441569
CNRSIdRef : 02636817XISNI : 0000000122597504ROR : https://ror.org/02feahw73Francehttps://www.cnrs.fr/Date de création : jeudi 19 octobre 1939 Structure verrouillée