Article Dans Une Revue
Logical Methods in Computer Science
Année : 2017
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01934638
Soumis le : lundi 26 novembre 2018-10:08:30
Dernière modification le : lundi 13 octobre 2025-09:44:14
Dates et versions
Identifiants
- HAL Id : hal-01934638 , version 1
- ARXIV : 1702.01804
- DOI : 10.23638/LMCS-13(3:33)2017
Citer
Paul Brunet, Damien Pous. Petri Automata. Logical Methods in Computer Science, 2017, 13 (3), pp.1-50. ⟨10.23638/LMCS-13(3:33)2017⟩. ⟨hal-01934638⟩
Collections
135
Consultations
0
Téléchargements