@techreport{weko_27350_1,
   author	 = "佐野,広和 and 四柳,浩之 and 橋爪,正樹 and 為貞建臣",
   title	 = "状態集合分割を用いる論理シミュレーションによる順序回路のテスト生成",
   year 	 = "2003",
   institution	 = "徳島大学工学部, 徳島大学工学部, 徳島大学工学部, 徳島大学工学部",
   number	 = "120(2003-SLDM-112)",
   month	 = "nov"
}