Skip to main
Communities
Log in
VERIDIS: Modeling and Verification of Distributed Algorithms and Systems
(VERIDIS)
Type
Facility
Location
Villers-lès-Nancy, Grand Est, France
Website
https://team.inria.fr/veridis
Related organizations
Related organizations
Parent
Centre Inria de l'Université de Lorraine
Laboratoire Lorrain de Recherche en Informatique et ses Applications
First Post
All Posts
Posts last 30 Days
Cited Posts
Posts main Subject Area
Posts with ORCID
Posts with References
Posts with Funding
