TY  - THES
DP  - http://www.theses.fr/2014REN1S002
TI  - Diagnostic, opacité et test de conformité pour des systèmes récursifs
AU  - Chédor, Sébastien
A3  - Jéron, Thierry; Morvan, Christophe
PY  - 2014
N1  - Thèse de doctorat Informatique Rennes 1 2014
N1  - 2014REN1S002
UR  - http://www.theses.fr/2014REN1S002/document
ER  -