@techreport{weko_233443_1,
   author	 = "近藤,大起 and 磯部,祥尚 and 枝廣,正人",
   title	 = "マルチレート制御モデル並列化アルゴリズムの設計と形式検証",
   year 	 = "2024",
   institution	 = "名古屋大学大学院情報学研究科, 産業技術総合研究所, 名古屋大学大学院情報学研究科",
   number	 = "12",
   month	 = "mar"
}