- 1
Sylvain Schmitz
1
Documents
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
Coverability Is Undecidable in One-Dimensional Pushdown Vector Addition Systems with Resets13th International Conference on Reachability Problems (RP 2019), 2019, Brussels, Belgium. pp.193--201, ⟨10.1007/978-3-030-30806-3_15⟩
Communication dans un congrès
hal-03440052v1
|