Identifiant pérenne de la notice : 183380533
Notice de type
Personne
Analyses et preuves formelles d'algorithmes distribués probabilistes / Allyx Fontaine
; sous la direction de Akka Zemmari et Pierre Casteran. Thèse de doctorat : Informatique:
Bordeaux : 2014
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial