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]