Publications

DBLP Google Scholar

by Slim Kallel
Reference:
Slim Kallel, Spécification et Vérification Formelles d’une Solution Multi-Agent pour la Résolution de Conflits Aériens, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2005.
Bibtex Entry:
@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},
}