GraDyn
Responsable LIMOS : KANTE MamadouBegin of project : March 3, 2020 - Fin du projet : Jan. 1, 2021
Projet piloté par le LIMOS
The project deals with model-checking on dynamic graphs, in particular the definition of graph decompositions in a dynamic logical language.
partner organism :
Financeur : CNRS