Article Dans Une Revue
Logical Methods in Computer Science
Année : 2015
Jérôme Leroux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02391827
Soumis le : mardi 3 décembre 2019-17:01:48
Dernière modification le : vendredi 24 mars 2023-14:53:14
Dates et versions
Identifiants
- HAL Id : hal-02391827 , version 1
- ARXIV : 1510.08331
- DOI : 10.2168/LMCS-11(4:15)2015
Citer
Jérôme Leroux, Drewes Frank. Structurally Cyclic Petri Nets. Logical Methods in Computer Science, 2015, 11 (4), ⟨10.2168/LMCS-11(4:15)2015⟩. ⟨hal-02391827⟩
Collections
15
Consultations
0
Téléchargements