Ouvrages
Année : 2003
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01529954
Soumis le : mercredi 31 mai 2017-15:42:11
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01529954 , version 1
Citer
Claude Girault, Rüdiger Valk. Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications. Springer-Verlag, pp.607, 2003, 3-540-41217-4. ⟨hal-01529954⟩
Collections
157
Consultations
0
Téléchargements