Conference
Proceedings of TAU 95: ACM/SIGDA International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems
Title
Efficient timing analysis of highly concurrent systems
Publication type
Proceedings paper
Embargo date
9999-12-31
