Show simple item record

Formal Methods for Verification and Design of Parametrized Hardware Libraries

dc.contributor.authorVerkest, Diederik
dc.date.accessioned2021-09-29T12:52:09Z
dc.date.available2021-09-29T12:52:09Z
dc.date.issued1994-05
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/441
dc.sourceIIOimport
dc.titleFormal Methods for Verification and Design of Parametrized Hardware Libraries
dc.typePHD thesis
dc.contributor.imecauthorVerkest, Diederik
dc.contributor.orcidimecVerkest, Diederik::0000-0001-6567-2746
dc.source.peerreviewno
imec.availabilityPublished - imec
imec.internalnotesThesis Advisors : Prof. Dr. Ir. L. Claesen and Prof. Dr. Ir. H. De Man


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