Accéder directement au contenu

Sylvain Schmitz

1
Documents

Présentation

Publications

serge-haddad
Image document

The Ordinal Recursive Complexity of of Timed-Arc Petri Nets, Data Nets, and Other Enriched Nets

Serge Haddad , Sylvain Schmitz , Philippe Schnoebelen
27th ACM/IEEE Symposium on Logic in Computer Science, Jun 2012, Dubrovnik, Croatia. pp.355--364, ⟨10.1109/LICS.2012.46⟩
Communication dans un congrès hal-00793811v1