- 1
- 1
Sylvain Schmitz
2
Documents
Présentation
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
|
Parametric Random Generation of Deterministic Tree AutomataTheoretical Computer Science, 2010, 411 (1), pp.3469--3480. ⟨10.1016/j.tcs.2010.05.036⟩
Article dans une revue
hal-00561274v1
|
|
Random Generation of Deterministic Tree (Walking) Automata14th International Conference on Implementation and Application of Automata - CIAA 2009, Jul 2009, Sydney, Australia. pp.115--124, ⟨10.1007/978-3-642-02979-0_15⟩
Communication dans un congrès
inria-00408316v1
|