Un outil graphique intéractif pour la vérification des systèmes à évolution parallèle décrits par réseaux de pétri
By: Brigitte Chezalviel-Pradin
Published: 1979
Language: fre
Number of pages: 172
Notes: Thesis (doctoral)--Université Paul Sabatier, 1979.