@techreport{weko_74103_1,
   author	 = "田中,俊彰 and 長岡,武志 and 岡野,浩三 and 楠本,真二",
   title	 = "複数反例抽出を用いたCEGARによる時間オートマトンの抽象洗練手法",
   year 	 = "2011",
   institution	 = "大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科",
   number	 = "7",
   month	 = "mar"
}