@techreport{weko_178389_1,
   author	 = "木間塚,達 and 野田,夏子",
   title	 = "モデル検査によるゲームシナリオの不具合発見ツールの提案",
   year 	 = "2017",
   institution	 = "芝浦工業大学, 芝浦工業大学",
   number	 = "13",
   month	 = "mar"
}