data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 137591489
Notice de type Personne

Point d'accès autorisé

Vigneron, Laurent

Information

Source

Contributions à la vérification automatique de protocoles de groupes / Najah Chridi ; sous la direction de Laurent Vifgneron et de Michaël Rusinowitch, 2009

Autres identifiants

Identifiant HAL : laurent-vigneron

Utilisation dans Rameau

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

... Références liées : ...