@techreport{weko_24272_1,
   author	 = "中岡,敏博 and 若林,真一 and 小出,哲士 and 吉田,典可",
   title	 = "BDDサイズを考慮した回路分割に基づく形式的論理検証手法",
   year 	 = "1993",
   institution	 = "広島大学工学部, 広島大学工学部, 広島大学工学部, 広島大学工学部",
   number	 = "111(1993-ARC-103)",
   month	 = "dec"
}