Identifiant pérenne de la notice : 032657501
Notice de type
Personne
Internet, http:// www.lsv.ens-cahan.fr/~haddad/cv.php/29-04-2008
Une Catégorie régulière de réseau de Petri de haut niveau : définition, propriétés
et réductions, application à la validation de systèmes distribués / Serge Haddad,
1987 [thèse univ.]