Fiche d'une structure
Graphs, Automata, Logics, Languages and vErificatiON Équipe de recherche27552
GALIONIrisa, Campus de Beaulieu 35042 RennesFrance
Institut de Recherche en Informatique et Systèmes Aléatoires Laboratoire2494
IRISACampus universitaire de Beaulieu - 35042 RennesFrancehttp://www.irisa.fr/
Université de Rennes Institution105160
URCampus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEXIdRef : 26693823XROR : https://ror.org/015m7wh34Francehttps://www.univ-rennes.fr/ Structure verrouillée
Institut National des Sciences Appliquées - Rennes Institution117606
INSA Rennes20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7ROR : https://ror.org/04xaa4j22Francehttp://www.insa-rennes.fr/ Structure verrouillée
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
UMR6074
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
Université de Rennes Institution105160
URCampus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEXIdRef : 26693823XROR : https://ror.org/015m7wh34Francehttps://www.univ-rennes.fr/ Structure verrouillée
Institut National des Sciences Appliquées - Rennes Institution117606
INSA Rennes20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7ROR : https://ror.org/04xaa4j22Francehttp://www.insa-rennes.fr/ Structure verrouillée
UMR6074
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