Accéder directement au contenu

Sylvain Schmitz

2
Documents

Présentation

Publications

alain-finkel

Forward Analysis and Model Checking for Trace Bounded WSTS

Pierre Chambart , Alain Finkel , Sylvain Schmitz
32nd 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