Article Dans Une Revue
Logical Methods in Computer Science
Année : 2017
Damien Pous : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01934638
Soumis le : lundi 26 novembre 2018-10:08:30
Dernière modification le : mardi 12 novembre 2024-15:20:06
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
60
Consultations
0
Téléchargements