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 contribution

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