@techreport{weko_28182_1,
   author	 = "上田,伸人 and 菅沼,直昭 and 山本,保 and 冨田,昌宏",
   title	 = "多重論理設計誤りを対象とする自動追跡手法",
   year 	 = "1991",
   institution	 = "神戸大学大学院　自然科学研究科, 神戸大学大学院　自然科学研究科, （株）東芝　半導体CAD技術部, 神戸大学大学院　自然科学研究科",
   number	 = "110(1991-SLDM-060)",
   month	 = "dec"
}