@techreport{weko_28040_1, author = "児玉,剛 and 東,功 and 高松,雄三", title = "入力/状態・並列故障シミュレーションを用いた順序回路のテスト生成について", year = "1993", institution = "愛媛大学工学部情報工学科, 愛媛大学工学部情報工学科, 愛媛大学工学部情報工学科", number = "94(1993-SLDM-068)", month = "oct" }