- 1
Sylvain Schmitz
1
Documents
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Forward Analysis and Model Checking for Trace Bounded WSTSTheoretical Computer Science, 2016, 637, pp.1--29. ⟨10.1016/j.tcs.2016.04.020⟩
Article dans une revue
hal-01329871v1
|