TY - THES DP - http://www.theses.fr/2014DENS0035 TI - Testing concurrent systems through event structures AU - Ponce de León, Hernan A3 - Haar, Stefan PY - 2014 N1 - Thèse de doctorat Informatique Cachan, Ecole normale supérieure 2014 N1 - 2014DENS0035 UR - http://www.theses.fr/2014DENS0035/document ER -