Robert B. Hitchcock Sr.. Timing Verification and the Timing Analysis program. In James S. Crabbe, Charles E. Radke, Hillel Ofek, editors, Proceedings of the 19th Design Automation Conference, DAC '82, Las Vegas, Nevada, USA, June 14-16, 1982. pages 594-604, ACM/IEEE, 1982. [doi]
Abstract is missing.