Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...
How to reach the Inria Centre at Université de Lorraine in Nancy and Strasbourg ? Changed on 19/04/2024