@techreport{weko_27363_1, author = "齋藤,寛 and 川鍋昌紀 and 今井,雅 and 中村,宏 and 南谷,崇", title = "セルコントローラに基づいた非同期制御回路の合成", year = "2003", institution = "東京大学先端科学技術研究センター, 東京大学先端科学技術研究センター, 東京大学先端科学技術研究センター, 東京大学先端科学技術研究センター, 東京大学先端科学技術研究センター", number = "120(2003-SLDM-112)", month = "nov" }