Identifiant pérenne de la notice : 257257691
Notice de type
Personne
Parallel verification of concurrent systems using the Symbolic Observation Graph /
Hiba Ouni. Thèse : Paris 13 : 2019
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