dc.contributor.author | Padmanaban, S. | en |
dc.contributor.author | Michael, Maria K. | en |
dc.contributor.author | Tragoudas, S. | en |
dc.creator | Padmanaban, S. | en |
dc.creator | Michael, Maria K. | en |
dc.creator | Tragoudas, S. | en |
dc.date.accessioned | 2019-04-08T07:47:34Z | |
dc.date.available | 2019-04-08T07:47:34Z | |
dc.date.issued | 2003 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/44446 | |
dc.source | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-0037346987&doi=10.1109%2fTCAD.2002.807891&partnerID=40&md5=764b83f771dbc94c43d2322a4a29bd3d | |
dc.title | Exact path delay fault coverage with fundamental ZBDD operations | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1109/TCAD.2002.807891 | |
dc.description.volume | 22 | |
dc.description.issue | 3 | |
dc.description.startingpage | 305 | |
dc.description.endingpage | 316 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Article | en |
dc.source.abbreviation | IEEE Trans Comput Aided Des Integr Circuits Syst | en |
dc.contributor.orcid | Michael, Maria K. [0000-0002-1943-6547] | |
dc.gnosis.orcid | 0000-0002-1943-6547 | |