@article{BR08,
 author = {Jiří Barnat and Petr Ročkai},
 journal = {ENTCS},
 number = {1},
 pages = {79--91},
 title = {{Shared Hash Tables in Parallel Model Checking}},
 volume = {198},
 year = {2008}
}