Repérage par Directeur de mémoire/thèse

Dahmoune, Ouiza (2012). La vérification automatique basée sur un modèle mathématique de réalisation pshysiques de circuits numériques. Thèse. Québec, Université du Québec, Institut national de la recherche scientifique, Doctorat en télécommunications, 208 p.