@article{weko_192961_1,
   author	 = "加藤,暢 and 高岡,久裕 and 樋口,昌宏 and 大山,博史",
   title	 = "多重Ambient Calculusを用いた動的な海上物流計画に対するモデル検査",
   journal	 = "情報処理学会論文誌数理モデル化と応用（TOM）",
   year 	 = "2018",
   volume	 = "11",
   number	 = "3",
   pages	 = "84--99",
   month	 = "dec"
}