names.value: VERIDIS
names.types: acronym
names.value: VERIDIS: Modeling and Verification of Distributed Algorithms and Systems
names.types: label ror_display
names.lang: en
relationships.type: parent
relationships.label: Centre Inria de l'Université de Lorraine
relationships.id: https://ror.org/03fcjvn64
relationships.type: parent
relationships.label: Laboratoire Lorrain de Recherche en Informatique et ses Applications
relationships.id: https://ror.org/02vnf0c38