@techreport{weko_22969_1,
   author	 = "入江,英嗣 and 杉本,健 and 五島,正裕 and 坂井,修一",
   title	 = "動的タイミング・エラー検出のための「書き込み保証バッファ」の評価",
   year 	 = "2007",
   institution	 = "科学技術振興機構, 東京大学大学院情報理工学系研究科, 東京大学大学院情報理工学系研究科, 東京大学大学院情報理工学系研究科",
   number	 = "55(2007-ARC-173)",
   month	 = "jun"
}