@techreport{weko_27993_1,
   author	 = "長沼,次郎 and 小倉,武 and 星野,民夫",
   title	 = "アルゴリズミックデバッグ法を用いたVLSI上位仕様記述の検証法",
   year 	 = "1994",
   institution	 = "NTT LSI研究所, NTT LSI研究所, NTT LSI研究所",
   number	 = "54(1994-SLDM-071)",
   month	 = "jun"
}