@techreport{weko_219043_1,
   author	 = "城,聖一郎 and 結縁,祥治",
   title	 = "充足可能性判定を利用した実現可能な時間オートマトンの検証",
   year 	 = "2022",
   institution	 = "名古屋大学情報学研究科, 名古屋大学情報学研究科",
   number	 = "17",
   month	 = "jul"
}