TY  - THES
DP  - http://www.theses.fr/2015SACLE020
TI  - Towards Synthesizing Open Systems : Tableaux For Multi-Agent Temporal Logics
AU  - David, Amélie
A3  - Cerrito, Serenella; Goranko, Valentin
PY  - 2015
N1  - Thèse de doctorat Informatique Université Paris-Saclay (ComUE) 2015
N1  - 2015SACLE020
ER  -