Communication Dans Un Congrès
Année : 2002
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01544386
Soumis le : mercredi 21 juin 2017-16:05:12
Dernière modification le : mardi 11 avril 2023-15:16:28
Citer
Jean-Michel Ilié, Kaïs Klai, Serge Haddad. An Incremental Verification Technique Using Reduction of Petri Nets : A Petri net Approach. International IEEE Conference on System Man and Cybernetics 2002 (IEEE SMC 02), Oct 2002, Hammamet, Tunisia. ⟨10.1109/ICSMC.2002.1173442⟩. ⟨hal-01544386⟩
Collections
228
Consultations
0
Téléchargements