@techreport{weko_26818_1,
   author	 = "森下,賢志 and 吉田,浩章 and 藤田,昌宏",
   title	 = "準形式的モデル検査のハードウェア実装による高速化の検討",
   year 	 = "2008",
   institution	 = "東京大学工学部電子工学科, 東京大学大規模集積システム設計教育研究センター, 東京大学大規模集積システム設計教育研究センター",
   number	 = "32(2008-SLDM-134)",
   month	 = "mar"
}