- 1
Olivier Serre
1
Documents
Identifiants chercheurs
- olivier-serre
- 0000-0001-5936-240X
- IdRef : 089054407
Présentation
Publications
- 1
- 1
- 1
- 1
|
Tree Pattern Rewriting SystemsAutomated Technology for Verification and Analysis, 2008, Séoul, South Korea. pp.332-346, ⟨10.1007/978-3-540-88387-6_29⟩
Communication dans un congrès
hal-00344551v1
|