Show simple item record

dc.contributor.authorClaesen, Luc
dc.date.accessioned2021-09-29T13:04:32Z
dc.date.available2021-09-29T13:04:32Z
dc.date.issued1995
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/555
dc.sourceIIOimport
dc.titleED and TC 1995: Simulation versus Formal Verification
dc.typeJournal article
dc.source.peerreviewno
dc.source.beginpage82
dc.source.journalIEEE Design and Test of Computers
dc.source.volume12
imec.availabilityPublished - imec


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record