@inproceedings{weko_120911_1, author = "西木,健哉 and 宮崎,聡 and 柳生,和男 and 馬嶋,宏 and 熱海,史郎", title = "到達可能性解析に基づく通信ソフト検証方法の提案", booktitle = "全国大会講演論文集", year = "1992", volume = "第44回", number = "ネットワーク", pages = "213--214", month = "feb" }