D
[Da11] Arnaud Da Costa. Propriétés de jeux multi-agents. Thèse de doctorat, Lab. Spécification & Vérification, ENS Cachan, France, September 2011. 
@phdthesis{phd-dacosta,
  author =              {Da{~}Costa, Arnaud},
  title =               {Propri{\'e}t{\'e}s de jeux multi-agents},
  year =                {2011},
  month =               sep,
  school =              {Lab.~Sp\'ecification \& V\'erification, ENS Cachan,
                         France},
  type =                {Th\`ese de doctorat},
}
List of authors