https://scholars.lib.ntu.edu.tw/handle/123456789/387249
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Chen, Y.-R. | en_US |
dc.contributor.author | Yeh, J.-J. | en_US |
dc.contributor.author | Hsiung, P.-A. | en_US |
dc.contributor.author | Chen, S.-J. | en_US |
dc.contributor.author | SAO-JIE CHEN | zz |
dc.creator | Chen, Y.-R.;Yeh, J.-J.;Hsiung, P.-A.;Chen, S.-J. | - |
dc.date.accessioned | 2018-09-10T14:57:49Z | - |
dc.date.available | 2018-09-10T14:57:49Z | - |
dc.date.issued | 2014 | - |
dc.identifier.uri | http://www.scopus.com/inward/record.url?eid=2-s2.0-84903555164&partnerID=MN8TOARS | - |
dc.identifier.uri | http://scholars.lib.ntu.edu.tw/handle/123456789/387249 | - |
dc.language | en | en |
dc.relation.ispartof | IEEE Transactions on Computers | en_US |
dc.source | AH-Scopus to ORCID | - |
dc.title | Accelerating coverage estimation through partial model checking | - |
dc.type | journal article | en |
dc.identifier.doi | 10.1109/TC.2013.63 | - |
dc.relation.pages | 1613-1625 | - |
dc.relation.journalvolume | 63 | - |
dc.relation.journalissue | 7 | - |
item.openairecristype | http://purl.org/coar/resource_type/c_6501 | - |
item.openairetype | journal article | - |
item.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
item.fulltext | no fulltext | - |
crisitem.author.dept | Electrical Engineering | - |
crisitem.author.orcid | 0000-0003-1152-171X | - |
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.