Development of Several Reachability Algorithms for Directed Graphs.

Rudolf Berghammer, Herbert Ehler, Hans Zierer

Browse the full WG paper archive.