@inproceedings{69225820f0674fab8c501d6ed19c1728,
title = "An algorithm for strongly connected component analysis in n log n symbolic steps",
author = "Bloem, {Roderick Paul} and H.N. Gabow and F. Somenzi",
note = "LNCS 1954; International Conference on Formal Methods in Computer-Aided Design ; Conference date: 01-11-2000 Through 03-11-2000",
year = "2000",
language = "English",
pages = "37--54",
booktitle = "International Conference on Formal Methods in Computer-Aided Design",
publisher = "Springer",
}