Madame DAVID Amélie

Doctorant , Equipe COSMO

Towards Synthesizing Open Systems: Tableaux For Multi-Agent Temporal Logics.
Direction de these a IBISCCERRITO Serenella
Publications dans HAL IBISC Document de thse
Courriel : Financeur/affectation/tutelle : U EVRY
Date d'arrivée : 01/10/2012 Date de départ : 30/09/2015 Date de soutenance : 30/09/2015