Communication Dans Un Congrès
Année : 2003
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01124992
Soumis le : vendredi 6 mars 2015-10:54:52
Dernière modification le : vendredi 19 juillet 2024-11:38:04
Dates et versions
Identifiants
- HAL Id : hal-01124992 , version 1
Citer
Kamel Barkaoui, Belhassen Zouari. On the Equivalence between Liveness and deadlock Freeness in Petri Nets. ISPS03, 5th Int. Symp. on Programming and Systems, Algiers, Algeria, Jan 2003, X, France. pp.213-224. ⟨hal-01124992⟩
Collections
39
Consultations
0
Téléchargements