Research facility · founded 2012
VERIDIS: Modeling and Verification of Distributed Algorithms and Systems
Villers-lès-Nancy, France · team.inria.fr/veridis
- Citations, last 5 years
- 248
- Works, last 5 years
- 97
- h-index
- 24
- Scientists listed
- 1
- Grants since 2016
- 0
Scientists
Researchers whose latest known affiliation is VERIDIS: Modeling and Verification of Distributed Algorithms and Systems, by citations in the last five years.