Research FacilityFR

VERIDIS: Modeling and Verification of Distributed Algorithms and Systems

Villers-lès-Nancy, Grand Est, FR

VERIDIS: Modeling and Verification of Distributed Algorithms and Systems is a research facility located in Villers-lès-Nancy, Grand Est (FR). The institution has published 0 academic works and has been cited 0 times.

Publications

Citations

h-index

Yes

ROR ID

External Links

ROR Registry Scholar API Record

Data last updated: 2026-02-06

Source: CitedEvidence Scholar