@article{weko_6411_1, author = "樹下,行三", title = "高信頼化技術:コンピュータ・システムの高信頼化技術:論理回路の故障検査", journal = "情報処理", year = "1982", volume = "23", number = "4", month = "apr" }