@techreport{weko_27041_1,
   author	 = "松本,剛史 and 小松,聡 and 藤田,昌宏",
   title	 = "動作合成前後の設計記述に対する記号シミュレーションによる形式的等価性検証の検討",
   year 	 = "2006",
   institution	 = "東京大学大学院工学系研究科電子工学専攻, 東京大学大規模集積システム設計教育研究センター, 東京大学大規模集積システム設計教育研究センター",
   number	 = "41(2006-SLDM-125)",
   month	 = "may"
}