@techreport{weko_72979_1,
   author	 = "乾,伸雄 and 相澤,彰子",
   title	 = "Minimum Consistent-DFA生成問題の厳密解法に対するハイブリッドアプローチ",
   year 	 = "2011",
   institution	 = "総合研究大学院大学，国立東京工業高等専門学校, 東京大学，国立情報学研究所",
   number	 = "1",
   month	 = "feb"
}