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