文献
J-GLOBAL ID:201602272453080017
整理番号:16A0613486
PDRのためのTRの自動抽象化精密化【Powered by NICT】
Automatic abstraction refinement of TR for PDR
著者 (3件):
Kuan Fan
(Grad. Instn. of Electron. Eng., Nat. Taiwan Univ., Taipei, Taiwan)
,
Ming-Jen Yang
(Grad. Instn. of Electron. Eng., Nat. Taiwan Univ., Taipei, Taiwan)
,
Chung-Yang Huang
(Grad. Instn. of Electron. Eng., Nat. Taiwan Univ., Taipei, Taiwan)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2016
号:
ASP-DAC
ページ:
121-126
発行年:
2016年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)