Approches pour la vérification et la validation des modèles de production / Abdelhak
Khemiri ; sous la direction de Claudia Frydman. Thèse de doctorat : Informatique :
Aix-Marseille : 2020
Coopération entre recherche locale et exhaustive pour l'optimisation combinatoire
/ Djamal Habet ; sous la dir. de Chu Min Li et Michel Vasquez, 2004