Communication Dans Un Congrès
Année : 2013
Benedikt Bollig : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00926190
Soumis le : jeudi 9 janvier 2014-11:07:14
Dernière modification le : vendredi 24 mars 2023-14:52:58
Dates et versions
Identifiants
- HAL Id : hal-00926190 , version 1
Citer
Thomas Chatain, Stefan Haar. A Canonical Contraction for Safe Petri Nets. 7th International Workshop on Petri Nets and Software Engineering (PNSE'13), 2013, Germany. pp.25-39. ⟨hal-00926190⟩
Collections
73
Consultations
0
Téléchargements