- 1
Sylvain Schmitz
1
Documents
Présentation
Publications
- 1
- 1
- 1
|
The Ordinal Recursive Complexity of of Timed-Arc Petri Nets, Data Nets, and Other Enriched Nets27th ACM/IEEE Symposium on Logic in Computer Science, Jun 2012, Dubrovnik, Croatia. pp.355--364, ⟨10.1109/LICS.2012.46⟩
Communication dans un congrès
hal-00793811v1
|