@inproceedings{BM06,
 author = {Jiří Barnat and Pavel Moravec},
 booktitle = {Formal Methods: Applications and Technology},
 opteditor = {Luboš Brim and Boudewijn Haverkort and Martin Leucker and Jaco van de Pol},
 pages = {316--330},
 publisher = {Springer},
 series = {LNCS},
 title = {{Parallel Algorithms for Finding SCCs in Implicitly Given Graphs}},
 volume = {4346},
 year = {2006}
}