論文

査読有り 筆頭著者
2026年3月5日

Partial Order Reduction via Areal Partitioning for Modeling Truck Logistics by the Ambient Calculus

Proceedings of the 27th IEEE International Conference on Industrial Technology (ICIT2026)
  • Toru Kato

記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)

エクスポート
BibTeX RIS