Publication:

A time abstraction method for efficient verification of communicating systems

Date

1994
Proceedings Paper
Simple item page Full metadata Statistics
 
dc.contributor.authorVerlind, Eric
dc.contributor.authorKolks, Tilman
dc.contributor.authorDe Jong, Gjalt
dc.contributor.authorLin, Bill
dc.contributor.authorDe Man, Hugo
dc.contributor.imecauthorDe Man, Hugo
dc.date.accessioned2021-09-29T12:52:13Z
dc.date.available2021-09-29T12:52:13Z
dc.date.embargo9999-12-31
dc.date.issued1994
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/442
dc.source.beginpage609
dc.source.conferenceProceedings31st Conference on Design Automation Conference - DAC
dc.source.conferencedate06/06/1994
dc.source.conferencelocationSan Diego, CA USA
dc.source.endpage614
dc.title

A time abstraction method for efficient verification of communicating systems

dc.typeProceedings paper
dspace.entity.typePublication
Files

Original bundle

Name:
437.pdf
Size:
122.04 KB
Format:
Adobe Portable Document Format
Download
Publication available in collections:
Conference contributions