Madame DAVID Amélie
Doctorant , Equipe COSMO
Towards Synthesizing Open Systems: Tableaux For
Multi-Agent Temporal Logics.
| Direction de thèse a IBISC | CERRITO Serenella | |
| Publications dans HAL IBISC | Document de thèse | |
| 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 |