Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Chezalviel-Pradin, Brigitte (auteur d'une thèse de sciences). Auteur du texte  Voir les notices liées en tant qu'auteur

Titre(s) : Un Outil graphique interactif pour la vérification des systèmes à évolution parallèle décrits par réseaux de Petri. [Texte imprimé]

Publication : [S.l.n.d.]

Description matérielle : 178 p. : ill. ; 30 cm

Note(s) : Th. : doct.-ing. : Toulouse 3 : 1979. N° de thèse : 671

Identifiant de la notice  : ark:/12148/cb360805038

Notice n° :  FRBNF36080503