@techreport{weko_99421_1,
   author	 = "大森,祐貴 and 小山,恭平 and 小飼,敬 and 上田,賀一",
   title	 = "情報制御システムのモデル検査における反例分析支援ツールの開発",
   year 	 = "2014",
   institution	 = "茨城大学, 茨城大学, 茨城工業高等専門学校, 茨城大学",
   number	 = "11",
   month	 = "mar"
}