G
[GvD06] Valentin Goranko et Govert van Drimmelen. Complete Axiomatization and decidability of Alternating-time Temporal Logic. Theoretical Computer Science 353(1-3):93-117. Elsevier, mars 2006. 
@article{tcs353(1-3)-GvD,
  author =              {Goranko, Valentin and van Drimmelen, Govert},
  title =               {Complete Axiomatization and decidability of
                         Alternating-time Temporal Logic},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {353},
  number =              {1-3},
  pages =               {93-117},
  year =                {2006},
  month =               mar,
}
Liste des auteurs