TY  - THES
DP  - 
		http://www.theses.fr/1990TOU30220
TI  - Définition et évaluation d'un modèle d'exécution répartie pour les systèmes logiques non-déterministes
AU  - Percebois, Christian
A3  - Beaufils, René
PY  - 1990
SP  - 190 p
N1  - Thèse de doctorat Informatique Toulouse 3 1990
N1  - 1990TOU30220
ER  -