2003年2月 Synthesizing Timed Circuits from High Level Specification Languages NII Technical Report Tomohiro Yoneda, Chris Myers 巻 号 NII-20 記述言語 英語 掲載種別 講演資料等（セミナー，チュートリアル，講習，講義他） エクスポート BibTeX RIS
