@techreport{weko_203323_1,
   author	 = "于,文博 and 磯部,祥尚 and 枝廣,正人",
   title	 = "共有メモリ付階層型制御モデルの並列化アルゴリズムのCSPによる形式化とFDRによる検証",
   year 	 = "2020",
   institution	 = "名古屋大学大学院情報学研究科, 産業技術総合研究所, 名古屋大学大学院情報学研究科",
   number	 = "40",
   month	 = "feb"
}