@article{weko_67625_1, author = "加藤,暢 and 樋口,昌宏 and 植田,直人", title = "物流システムに対するAmbient Logicモデル検査システム", journal = "情報処理学会論文誌数理モデル化と応用(TOM)", year = "2010", volume = "3", number = "1", pages = "73--86", month = "jan" }