Thomas M. McWilliams. Verification of timing constraints on large digital systems. In Edwin B. Hassler Jr., editor, Proceedings of the 17th Design Automation Conference, DAC '80, Minneapolis, Minnesota, USA, June 23-25, 1980. pages 139-147, ACM/IEEE, 1980. [doi]
Abstract is missing.