@Article{BBC05,
  author =       "J. Barnat and L. Brim and J. Chaloupka",
  title =        "{From Distributed Memory Cycle Detection to Parallel LTL Model Checking}",
  journal =      "Electronic Notes in Theoretical Computer Science",
  volume =       "133",
  number =       "1",
  publisher =    "Elsevier Science Publishers",
  editor =       "J. Bicarregui and A. Butterfield and A. Arenas",
  year =         "2005",
  pages =        "21--39"
}