Identifiant pérenne de la notice : 083964908
Notice de type
Personne
Modéles orientés-objet pour la vérification de systèmes concurrents : sémantique en
termes de M-nets d'un langage concurrent à objets / Cécile Bui Thanh ; sous la dir.
de Hanna Klaudel [Thèse]
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