@techreport{weko_28169_1,
   author	 = "平塚,憲晴 and 清水,嗣雄 and 島,和正 and 戸次,圭介",
   title	 = "リテラル数推定手法を用いた有限状態機械合成方法",
   year 	 = "1991",
   institution	 = "（株）日立製作所, （株）日立製作所, （株）日立製作所, （株）日立製作所",
   number	 = "110(1991-SLDM-060)",
   month	 = "dec"
}