Publication [WuYK16] Performance Evaluation of Concurrent Data Structures Wu, H.; Yang, X. and Katoen, J.-P. In SETTA, pages 38-49, LNCS 9984, 2016.Downloads: bib