Vassor, M., Centre Inria de l’Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria), Sound Programming of Adaptive Dependable Embedded Systems (SPADES), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d’Informatique de Grenoble (LIG), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Université Grenoble Alpes 2020-., & Jean-Bernard Stefani. (2021). Location graphs : a formal approach to encapsulation and its implementation ; Graphes de localités : une approche formelle à l’encapsulation et implémentation. CCSD.

VASSOR, Martin, CENTRE INRIA DE L’UNIVERSITÉ GRENOBLE ALPES, INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA), SOUND PROGRAMMING OF ADAPTIVE DEPENDABLE EMBEDDED SYSTEMS (SPADES), INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-LABORATOIRE D’INFORMATIQUE DE GRENOBLE (LIG), INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-UNIVERSITÉ GRENOBLE ALPES (UGA)-INSTITUT POLYTECHNIQUE DE GRENOBLE - GRENOBLE INSTITUTE OF TECHNOLOGY (GRENOBLE INP), UNIVERSITÉ GRENOBLE ALPES (UGA)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-UNIVERSITÉ GRENOBLE ALPES (UGA)-INSTITUT POLYTECHNIQUE DE GRENOBLE - GRENOBLE INSTITUTE OF TECHNOLOGY (GRENOBLE INP), UNIVERSITÉ GRENOBLE ALPES (UGA), Université Grenoble Alpes 2020-. und JEAN-BERNARD STEFANI, 2021. Location graphs : a formal approach to encapsulation and its implementation ; Graphes de localités : une approche formelle à l’encapsulation et implémentation. CCSD.

Vassor, M., Centre Inria de l’Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria), Sound Programming of Adaptive Dependable Embedded Systems (SPADES), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d’Informatique de Grenoble (LIG), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Université Grenoble Alpes 2020-., und Jean-Bernard Stefani. Location graphs : a formal approach to encapsulation and its implementation ; Graphes de localités : une approche formelle à l’encapsulation et implémentation. CCSD, 2021.

Vassor, Martin/Centre Inria de l’Université Grenoble Alpes/Institut National de Recherche en Informatique et en Automatique (Inria)/Sound Programming of Adaptive Dependable Embedded Systems (SPADES)/Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d’Informatique de Grenoble (LIG)/Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP) u. a.: Location graphs : a formal approach to encapsulation and its implementation ; Graphes de localités : une approche formelle à l’encapsulation et implémentation, 2021.

Vassor, M., Centre Inria de l’Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria), Sound Programming of Adaptive Dependable Embedded Systems (SPADES), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d’Informatique de Grenoble (LIG), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Université Grenoble Alpes 2020-. und Jean-Bernard Stefani. (2021), Location graphs : a formal approach to encapsulation and its implementation ; Graphes de localités : une approche formelle à l’encapsulation et implémentation, Bd. , CCSD.