@techreport{weko_101006_1,
   author	 = "神保潮 and 山田淳二 and 五島正裕 and 坂井修一",
   title	 = "ダイナミック・ロジックへのタイミング・フォールト検出手法の適用",
   year 	 = "2014",
   institution	 = "東京大学大学院情報理工学系研究科, 東京大学大学院情報理工学系研究科, 国立情報学研究所, 東京大学大学院情報理工学系研究科",
   number	 = "18",
   month	 = "may"
}