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