@techreport{weko_27040_1,
   author	 = "Subash,Shankar and 藤田,昌宏",
   title	 = "ボトムアップ解析に基づくSpecC記述間の等価性検証",
   year 	 = "2006",
   institution	 = "Dept. of Computer Science  City University of New York, 東京大学大規模集積システム設計教育研究センター",
   number	 = "41(2006-SLDM-125)",
   month	 = "may"
}