Robert B. Hitchcock Sr.
Timing Verification and the Timing Analysis program
DAC, 1982.
@inproceedings{DAC-1982-Sr,
author = "Robert B. Hitchcock Sr.",
booktitle = "{Proceedings of the 19th Design Automation Conference}",
doi = "10.1145/800263.809264",
pages = "594--604",
publisher = "{ACM/IEEE}",
title = "{Timing Verification and the Timing Analysis program}",
year = 1982,
}