D | |
---|---|
[Duf03] | Marie Duflot.
Algorithmes distribués sur des anneaux
paramétrés : preuves de convergence
probabiliste et déterministe.
Thèse de doctorat,
Lab. Spécification & Vérification, ENS Cachan,
France,
Septembre 2003.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1