Identifiant pérenne : 137591489
Notice de type
Personne
Contributions à la vérification automatique de protocoles de groupes / Najah Chridi
; sous la direction de Laurent Vifgneron et de Michaël Rusinowitch, 2009
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