TY - THES DP - http://www.theses.fr/1992TOU30142 TI - Transformation et composition de graphes de refus : analyse de la testabilité AU - Drira, Khalil A3 - Azéma, Pierre PY - 1992 SP - 1 vol. ([3]-167 f.) N1 - Thèse de doctorat Informatique Toulouse 3 1992 N1 - 1992TOU30142 ER -