%0 Journal Article %1 journals/sttt/AbdullaHHJR17 %A Abdulla, Parosh Aziz %A Haziza, Frédéric %A Holík, Lukás %A Jonsson, Bengt %A Rezine, Ahmed %D 2017 %J Int. J. Softw. Tools Technol. Transf. %K %N 5 %P 549-563 %T An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. %U http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#AbdullaHHJR17 %V 19

@article{journals/sttt/AbdullaHHJR17, added-at = {2023-12-13T01:14:06.000+0100}, author = {Abdulla, Parosh Aziz and Haziza, Frédéric and Holík, Lukás and Jonsson, Bengt and Rezine, Ahmed}, biburl = {https://www.bibsonomy.org/bibtex/262445b4dd45ea57c2e01cc98d1af95b6/admin}, ee = {https://doi.org/10.1007/s10009-016-0415-4}, interhash = {6ea3a872fe76535fcfe7fb3bfab0ee9d}, intrahash = {62445b4dd45ea57c2e01cc98d1af95b6}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = 5, pages = {549-563}, timestamp = {2023-12-13T01:14:06.000+0100}, title = {An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#AbdullaHHJR17}, volume = 19, year = 2017 }