Show simple item record

Efficient verification using generalized partial order analysis

dc.contributor.authorVercauteren, Steven
dc.contributor.authorVerkest, Diederik
dc.contributor.authorDe Jong, Gjalt
dc.contributor.authorLin, Bill
dc.date.accessioned2021-10-01T09:35:29Z
dc.date.available2021-10-01T09:35:29Z
dc.date.issued1998
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/3111
dc.sourceIIOimport
dc.titleEfficient verification using generalized partial order analysis
dc.typeProceedings paper
dc.contributor.imecauthorVerkest, Diederik
dc.contributor.orcidimecVerkest, Diederik::0000-0001-6567-2746
dc.date.embargo9999-12-31
dc.source.peerreviewno
dc.source.beginpage782
dc.source.endpage790
dc.source.conferenceDesign, Automation and Test in Europe Conference 1998 - DATE
dc.source.conferencedate23/02/1998
dc.source.conferencelocationParis France
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
2322.pdf
Size:
141.8Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record