Efficient algorithms for computing the longest viable path in a combinational network (1989)

by P McGeer, R Brayton
Venue:Proc. 26th Design Automation Conf