Ali Dasdan. Efficient algorithms for debugging timing constraint violations. In David P. LaPotin, Charles J. Alpert, John Lillis, editors, Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002. pages 50-56, ACM, 2002. [doi]
Abstract is missing.