https://scholars.lib.ntu.edu.tw/handle/123456789/499718
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor.author | Yeh, H.-H. | en_US |
dc.contributor.author | Wu, C.-Y. | en_US |
dc.contributor.author | Huang, C.-Y.R. | en_US |
dc.contributor.author | CHUNG-YANG HUANG | zz |
dc.creator | Yeh, H.-H.;Wu, C.-Y.;Huang, C.-Y.R. | - |
dc.date.accessioned | 2020-06-11T06:33:08Z | - |
dc.date.available | 2020-06-11T06:33:08Z | - |
dc.date.issued | 2011 | - |
dc.identifier.uri | https://scholars.lib.ntu.edu.tw/handle/123456789/499718 | - |
dc.relation.ispartof | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | - |
dc.title | Property-specific sequential invariant extraction for SAT-based unbounded model checking | en_US |
dc.type | conference paper | en |
dc.identifier.doi | 10.1109/ICCAD.2011.6105402 | - |
dc.identifier.scopus | 2-s2.0-84862908210 | - |
dc.identifier.url | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84862908210&doi=10.1109%2fICCAD.2011.6105402&partnerID=40&md5=57a0ff53de601a21d5b5225d1b0beab8 | - |
dc.relation.pages | 674-678 | - |
item.openairetype | conference paper | - |
item.fulltext | no fulltext | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | none | - |
item.openairecristype | http://purl.org/coar/resource_type/c_5794 | - |
crisitem.author.dept | Electrical Engineering | - |
crisitem.author.dept | Electronics Engineering | - |
crisitem.author.dept | Center for Artificial Intelligence and Advanced Robotics | - |
crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
crisitem.author.parentorg | Others: University-Level Research Centers | - |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。