Spécification formelle d'un nouveau modele du parallelisme. Les graphes dynamiques.

Recherche en cours

Auteur	HADJIDJ, Rachid
Directeur de thèse	SAAD Yamina (Docteur)
Filière	Informatique
Diplôme	Doctorat
Titre	Spécification formelle d'un nouveau modele du parallelisme. Les graphes dynamiques.
Statut	Vérifié