Accéder directement au contenu

Sylvain Schmitz

1
Documents

Présentation

Publications

774374
"jerome-leroux"
Image document

Coverability Trees for Petri Nets with Unordered Data

 Piotr Hofman , Sławomir Lasota , Ranko Lazić , Jérôme Leroux , Sylvain Schmitz
FoSSaCS, 2016, Eindhoven, Netherlands. pp.445--461, ⟨10.1007/978-3-662-49630-5_26⟩
Communication dans un congrès hal-01252674v1