Towards an Automatic Derivation of Tarjan’s Algorithm for Detecting Strongly Connected Components in Directed Graphs (2006)

Cached

Download Links

by H. L. A. van der Spek