Proceedings of the 8th ACMIEEE international workshop on Timing issues in the specification and synthesis of digital systems
ACM Digital Library