Arnaud Carayol

• Implementation and Application of Automata