著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) CHEN W.,REDI : An efficient fault oriented procedure to identify redundant faults in combinational circuits,Proc. ICCAD-2001,,,2001,,,370-374,https://cir.nii.ac.jp/crid/1570854176270811520,