@incollection{BRSW15HS,
 author = {Jiří Barnat and Petr Ročkai and Vladimír Štill and Jiří Weiser},
 booktitle = {Model Checking Software (SPIN 2015)},
 doi = {10.1007/978-3-319-23404-5_5},
 editor = {Fischer, Bernd and Geldenhuys, Jaco},
 isbn = {978-3-319-23403-8},
 keywords = {divine, red hat},
 language = {English},
 pages = {49-65},
 publisher = {Springer International Publishing},
 series = {Lecture Notes in Computer Science},
 title = {Fast, Dynami\-cally-Sized Concurrent Hash Table},
 volume = {9232},
 year = {2015}
}