@MASTERSTHESIS{KallelMaster05,
  author = {Slim Kallel},
  title = {Spécification et Vérification Formelles d’une Solution Multi-Agent pour la Résolution de Conflits Aériens},
  school = {\'Ecole Nationale d'Ing\'enieurs de Sfax, Tunisie},
  year = {2005},
}