@techreport{weko_30414_1,
   author	 = "田倉,昭 and 世良,孝文 and 太田理",
   title	 = "グラフ変換を用いたプロトコル合成法",
   year 	 = "1995",
   institution	 = "ATR通信システム研究所, ATR通信システム研究所, ATR通信システム研究所",
   number	 = "26(1994-PRO-021)",
   month	 = "mar"
}