Show simple item record

A time abstraction method for efficient verification of communicating systems

dc.contributor.authorVerlind, Eric
dc.contributor.authorKolks, Tilman
dc.contributor.authorDe Jong, Gjalt
dc.contributor.authorLin, Bill
dc.contributor.authorDe Man, Hugo
dc.date.accessioned2021-09-29T12:52:13Z
dc.date.available2021-09-29T12:52:13Z
dc.date.issued1994
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/442
dc.sourceIIOimport
dc.titleA time abstraction method for efficient verification of communicating systems
dc.typeProceedings paper
dc.contributor.imecauthorDe Man, Hugo
dc.date.embargo9999-12-31
dc.source.peerreviewno
dc.source.beginpage609
dc.source.endpage614
dc.source.conferenceProceedings31st Conference on Design Automation Conference - DAC
dc.source.conferencedate06/06/1994
dc.source.conferencelocationSan Diego, CA USA
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
437.pdf
Size:
122.0Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record