Automatic diagnosis of simple design errorsUbar, Raimund-Johannes; Borrione, DominiqueTIMA annual report 19981999 / p. 97-98

Automatic diagnosis of simple design errorsUbar, Raimund-Johannes; Borrione, DominiqueTechniques of Informatics and Microelectronics for Computer Architecture1999 / p. 91