Identifiant IdRef : 111647339
Notice de type
Personne
Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones,
et techniques de vérification automatique / Nathalie Bertrand, 2006 [Thèse]
http://people.rennes.inria.fr/Nathalie.Bertrand/index.html, consulté le 2021-11-19
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
Equivalent dans un autre référentiel