You are here

Research seminaries

8 November 2023
Scalable model-checking of Global and Local properties of Collective Systems Michele Loreti,...