Publication:
Efficient timing analysis of highly concurrent systems
Date
| dc.contributor.author | Verlind, Eric | |
| dc.contributor.author | De Jong, Gjalt | |
| dc.contributor.author | Lin, Bill | |
| dc.date.accessioned | 2021-09-29T13:24:22Z | |
| dc.date.available | 2021-09-29T13:24:22Z | |
| dc.date.embargo | 9999-12-31 | |
| dc.date.issued | 1995 | |
| dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/994 | |
| dc.source.beginpage | 282 | |
| dc.source.conference | Proceedings of TAU 95: ACM/SIGDA International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems | |
| dc.source.conferencelocation | Seattle, WA USA | |
| dc.source.endpage | 293 | |
| dc.title | Efficient timing analysis of highly concurrent systems | |
| dc.type | Proceedings paper | |
| dspace.entity.type | Publication | |
| Files | Original bundle
| |
| Publication available in collections: |