![](/img/cover-not-exists.png)
A simplified correctness proof for a well-known algorithm computing strongly connected components
Ingo WegenerVolume:
83
Year:
2002
Language:
english
Pages:
3
DOI:
10.1016/s0020-0190(01)00306-4
File:
PDF, 44 KB
english, 2002