@techreport{weko_200971_1,
   author	 = "清水,貴裕 and 山本,椋太 and 吉田,則裕 and 高田,広章",
   title	 = "状態遷移モデル抽出における記号実行ツールKLEEおよびTRACERの比較評価",
   year 	 = "2019",
   institution	 = "名古屋大学, 名古屋大学, 名古屋大学, 名古屋大学",
   number	 = "2",
   month	 = "dec"
}