- 1
Sylvain Schmitz
1
Documents
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
|
Model Checking Coverability Graphs of Vector Addition SystemsMCFS, 2011, Warsaw, Poland. pp.108--119, ⟨10.1007/978-3-642-22993-0_13⟩
Communication dans un congrès
hal-00600077v1
|