@techreport{weko_237375_1,
   author	 = "田中,琉吾 and 横川,智教 and 天嵜,聡介 and 阿萬,裕久 and 有本,和民",
   title	 = "時間制約をもつゲームスクリプトを対象としたモデル検査手法の提案",
   year 	 = "2024",
   institution	 = "岡山県立大学, 岡山県立大学, 岡山県立大学, 愛媛大学, 岡山県立大学",
   number	 = "21",
   month	 = "jul"
}