@article{weko_9815_1, author = "末次,亮 and 結縁祥治 and 阿草,清滋", title = "通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法", journal = "情報処理学会論文誌", year = "2007", volume = "48", number = "9", pages = "2915--2924", month = "sep" }