Name: Fabrice Peix
Organisation: Ecole des Mines de Paris
Research Unit: C.M.A Sophia Antipolis
E-Mail: Fabrice.Peix@sophia.inria.fr
Phone: 33 4 92 38 79 97
Fax: 33 4 92 38 79 98
Personnal Web Page: not yet available
Position: MSC student
Research Activities: Automata network verification