@techreport{weko_30405_1, author = "網崎,孝志 and 辻野,嘉宏 and 都倉,信樹", title = "均一な木の上での自己安定リーダ選出プログラムの形式的導出", year = "1995", institution = "島根大学理学部情報科学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科", number = "26(1994-PRO-021)", month = "mar" }