@inproceedings{weko_152860_1, author = "大西,量 and 三田村,保 and 大堀,隆文 and 栗原,正仁", title = "A-36 モバイル環境における高信頼メッセージ転送ネットワークの形式的モデリング(グラフアルゴリズム(1),A.アルゴリズム・基礎)", booktitle = "情報科学技術フォーラム一般講演論文集", year = "2002", volume = "2002", number = "1", pages = "71--72", month = "sep" }