@techreport{weko_186070_1,
   author	 = "加藤,暢 and 高岡,久裕 and 樋口,昌宏 and 大山,博史",
   title	 = "多重Ambient Calculusを用いた動的な海上物流計画に対するモデル検査",
   year 	 = "2018",
   institution	 = "近畿大学大学院総合理工学研究科, 近畿大学大学院総合理工学研究科, 近畿大学大学院総合理工学研究科, 広島商船高等専門学校",
   number	 = "12",
   month	 = "feb"
}