Communication Dans Un Congrès
Année : 2013
Benedikt Bollig : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00925448
Soumis le : mercredi 8 janvier 2014-10:12:53
Dernière modification le : vendredi 24 mars 2023-14:52:58
Dates et versions
Identifiants
- HAL Id : hal-00925448 , version 1
Citer
César Rodríguez, Stefan Schwoon. Cunf: A Tool for Unfolding and Verifying Petri Nets with Read arcs. 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13), 2013, Vietnam. pp.492-495. ⟨hal-00925448⟩
Collections
87
Consultations
0
Téléchargements