C
[Cer14] Petr Čermák. A Model Checker for Strategy Logic. Master's thesis, Dept. of Computing, Imperial College London, UK, Juin 2014. 
@mastersthesis{master14-Cer,
  author =              {{\v{C}}erm{\'a}k, Petr},
  title =               {A~Model Checker for Strategy Logic},
  year =                {2014},
  month =               jun,
  school =              {Dept. of Computing, Imperial College London, UK},
}
Liste des auteurs