Communication Dans Un Congrès
Année : 2013
Benedikt Bollig : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00926177
Soumis le : jeudi 9 janvier 2014-10:59:17
Dernière modification le : vendredi 24 mars 2023-14:52:58
Dates et versions
Identifiants
- HAL Id : hal-00926177 , version 1
Citer
César Rodríguez, Stefan Schwoon. An Improved Construction of Petri Net Unfoldings. 1st French-Singaporean Workshop on Formal Methods and Applications (FSFMA'13), 2013, Singapore. pp.47-52. ⟨hal-00926177⟩
Collections
84
Consultations
0
Téléchargements