https://scholars.lib.ntu.edu.tw/handle/123456789/499718| DC Field | Value | Language |
|---|---|---|
| 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 | CHUNG-YANG HUANG;Huang, C.-Y.R.;Wu, C.-Y.;Yeh, H.-H. | - |
| 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 | - |
| 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.grantfulltext | none | - |
| item.openairetype | conference paper | - |
| item.fulltext | no fulltext | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_5794 | - |
| item.cerifentitytype | Publications | - |
| crisitem.author.dept | Electrical Engineering | - |
| crisitem.author.dept | Electronics Engineering | - |
| crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
| crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
| Appears in Collections: | 電機工程學系 | |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
