@inproceedings{weko_89015_1, author = "岡田,達彦 and 太田,剛 and 水野,忠則", title = "プログラムスライスを用いた分散プログラムのデッドロック原因究明方式", booktitle = "マルチメディア通信と分散処理ワークショップ論文集", year = "1995", volume = "1995", number = "2", pages = "9--15", month = "oct" }