- 2
Sylvain Schmitz
2
Documents
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 2
- 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
|
Forward Analysis and Model Checking for Trace Bounded WSTS32nd International Conference on Application and Theory of Petri Nets, Jun 2011, Newcastle, United Kingdom. p. 49--68, ⟨10.1007/978-3-642-21834-7_4⟩
Communication dans un congrès
hal-00610011v1
|