An algorithm for strongly connected component analysis in n log n symbolic steps
Journal Article
Overview
publication date
- January 1, 2006
Full Author List
- Bloem R; Gabow H; Somenzi F
published in
- Formal Methods in System Design Journal
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 37
end page
- 56
volume
- 28
issue
- 1