@techreport{weko_28336_1,
   author	 = "若林,一敏 and 吉村,猛",
   title	 = "制御論理合成の一手法",
   year 	 = "1988",
   institution	 = "日本電気（株）C&Cシステム研究所, 日本電気（株）C&Cシステム研究所",
   number	 = "96(1988-SLDM-045)",
   month	 = "dec"
}