@techreport{weko_61236_1,
   author	 = "許,金美 and 西原,佑 and 松本,剛史 and 藤田,昌宏",
   title	 = "順序回路の上位設計記述における等価性指定の自動化手法",
   year 	 = "2009",
   institution	 = "東京大学大学院工学系研究科電子工学専攻, 東京大学大学院工学系研究科電子工学専攻, 東京大学大規模集積システム設計教育研究センター, 東京大学大規模集積システム設計教育研究センター／科学技術振興機構戦略的創造研究推進事業",
   number	 = "7(2009-SLDM-138)",
   month	 = "jan"
}