@article{weko_60668_1, author = "植田,直人 and 加藤,暢 and 樋口,昌宏", title = "物流システムに対するAmbient Logicモデル検査システム", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2009", volume = "2", number = "3", pages = "59--59", month = "jul" }