TY  - THES
DP  - 
		http://www.theses.fr/2001REN1A005
TI  - Une méthode de construction des mémoires partagées intégrant spécification, vérification et réalisation
AU  - Mentré, David
A3  - Priol, Thierry
PY  - 2001
SP  - 222 p.
N1  - Thèse de doctorat Informatique Rennes 1 2001
N1  - 2001REN1A005
ER  -