@techreport{weko_21218_1,
   author	 = "柿島,純 and 川上,博 and 滝田,亘",
   title	 = "通信制御プロトコル自律適合実現に向けた形式仕様記述言語の適用",
   year 	 = "2006",
   institution	 = "ＮＴＴドコモネットワーク研究所, ＮＴＴドコモネットワーク研究所, ＮＴＴドコモネットワーク研究所",
   number	 = "35(2006-SE-151)",
   month	 = "mar"
}