@Article{BR08,
  author =       "J. Barnat and P. Ro\v{c}kai",
  title =        "{Shared Hash Tables in Parallel Model Checking}",
  journal =      "ENTCS",
  volume =       "198",
  number =       "1",
  pages =        "79--91",
  year =         "2008"
}