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

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelInternational Conference on Formal Methods in Computer-Aided Design
Herausgeber (Verlag)Springer
Seiten37-54
PublikationsstatusVeröffentlicht - 2000
VeranstaltungInternational Conference on Formal Methods in Computer-Aided Design - Austin, Texas, USA / Vereinigte Staaten
Dauer: 1 Nov 20003 Nov 2000

Konferenz

KonferenzInternational Conference on Formal Methods in Computer-Aided Design
LandUSA / Vereinigte Staaten
OrtAustin, Texas
Zeitraum1/11/003/11/00

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren