An algorithm for strongly connected component analysis in n log n symbolic steps

Roderick Paul Bloem, H.N. Gabow, F. Somenzi

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationInternational Conference on Formal Methods in Computer-Aided Design
PublisherSpringer
Pages37-54
Publication statusPublished - 2000
EventInternational Conference on Formal Methods in Computer-Aided Design - Austin, Texas, United States
Duration: 1 Nov 20003 Nov 2000

Conference

ConferenceInternational Conference on Formal Methods in Computer-Aided Design
CountryUnited States
CityAustin, Texas
Period1/11/003/11/00

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Bloem, R. P., Gabow, H. N., & Somenzi, F. (2000). An algorithm for strongly connected component analysis in n log n symbolic steps. In International Conference on Formal Methods in Computer-Aided Design (pp. 37-54). Springer.

An algorithm for strongly connected component analysis in n log n symbolic steps. / Bloem, Roderick Paul; Gabow, H.N.; Somenzi, F.

International Conference on Formal Methods in Computer-Aided Design. Springer, 2000. p. 37-54.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bloem, RP, Gabow, HN & Somenzi, F 2000, An algorithm for strongly connected component analysis in n log n symbolic steps. in International Conference on Formal Methods in Computer-Aided Design. Springer, pp. 37-54, International Conference on Formal Methods in Computer-Aided Design, Austin, Texas, United States, 1/11/00.
Bloem RP, Gabow HN, Somenzi F. An algorithm for strongly connected component analysis in n log n symbolic steps. In International Conference on Formal Methods in Computer-Aided Design. Springer. 2000. p. 37-54
Bloem, Roderick Paul ; Gabow, H.N. ; Somenzi, F. / An algorithm for strongly connected component analysis in n log n symbolic steps. International Conference on Formal Methods in Computer-Aided Design. Springer, 2000. pp. 37-54
@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",
year = "2000",
language = "English",
pages = "37--54",
booktitle = "International Conference on Formal Methods in Computer-Aided Design",
publisher = "Springer",

}

TY - GEN

T1 - An algorithm for strongly connected component analysis in n log n symbolic steps

AU - Bloem, Roderick Paul

AU - Gabow, H.N.

AU - Somenzi, F.

N1 - LNCS 1954

PY - 2000

Y1 - 2000

M3 - Conference contribution

SP - 37

EP - 54

BT - International Conference on Formal Methods in Computer-Aided Design

PB - Springer

ER -