Ayari, B. (1996). Génération de vecteurs de test pour les circuits combinatoires, séquentiels et mixtes basée sur le OBDD [Ph.D. thesis, École Polytechnique de Montréal]. Available