@techreport{weko_36293_1,
   author	 = "荒川暢也 and 高橋薫 and 白鳥則郎 and 野口正一",
   title	 = "プロトコルの状態遷移表現の生成法とその適用例",
   year 	 = "1985",
   institution	 = "東北大学電気通信研究所, 東北大学電気通信研究所, 東北大学電気通信研究所, 東北大学電気通信研究所",
   number	 = "4(1985-DPS-025)",
   month	 = "may"
}