- 2
Sylvain Schmitz
2
Documents
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 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
|
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma26th Annual IEEE Symposium on Logic in Computer Science, Jun 2011, Toronto, Canada. p. 269--278, ⟨10.1109/LICS.2011.39⟩
Communication dans un congrès
hal-00609871v1
|