@techreport{weko_27174_1,
   author	 = "西原,佑 and 松本,剛史 and 小松,聡 and 藤田,昌宏",
   title	 = "FSMへの変換に基づくHW/SW協調設計の形式的検証手法に関する研究",
   year 	 = "2005",
   institution	 = "東京大学工学部電子工学科, 東京大学大学院工学系研究科電子工学専攻, 東京大学大規模集積システム設計教育研究センター,  東京大学大規模集積システム設計教育研究センター",
   number	 = "27(2004-SLDM-119)",
   month	 = "mar"
}