Detecting strongly connected components in large distributed state spaces

S.M. Orzan, J.C. Pol, van de

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages21
Publication statusPublished - 2005

Publication series

NameCWI report SEN-E : software engineering
Volume0501
ISSN (Print)1386-369X

Cite this

Orzan, S. M., & Pol, van de, J. C. (2005). Detecting strongly connected components in large distributed state spaces. (CWI report SEN-E : software engineering; Vol. 0501). Centrum voor Wiskunde en Informatica.