@inproceedings{weko_169554_1, author = "竹ヶ原,大輔 and 平山,貴司 and 西谷,泰昭", title = "AND-EXOR PLAの交点故障を検出する万能テスト集合", booktitle = "第66回全国大会講演論文集", year = "2004", volume = "2004", number = "1", pages = "141--142", month = "mar" }