Communication Dans Un Congrès
Année : 2005
Laure Petrucci : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00084190
Soumis le : jeudi 6 juillet 2006-01:32:45
Dernière modification le : vendredi 24 mars 2023-14:52:47
Dates et versions
Identifiants
- HAL Id : hal-00084190 , version 1
Citer
Laure Petrucci, Charles Lakos. Distributed and Modular State Space Exploration for Timed Petri Nets. Workshop on Practical Use of Coloured Petri Nets, 2005, Aarhus, Denmark. ⟨hal-00084190⟩
Collections
108
Consultations
0
Téléchargements