%0 Journal Article %1 journals/concurrency/Lowe17 %A Lowe, Gavin %D 2017 %J Concurr. Comput. Pract. Exp. %K %N 4 %T Testing for linearizability. %U http://dblp.uni-trier.de/db/journals/concurrency/concurrency29.html#Lowe17 %V 29

@article{journals/concurrency/Lowe17, added-at = {2023-12-14T16:36:49.000+0100}, author = {Lowe, Gavin}, biburl = {https://www.bibsonomy.org/bibtex/2ed23be769911d598719901d0475b9dff/admin}, ee = {https://doi.org/10.1002/cpe.3928}, interhash = {fa91462dcc968b903f8d817c001019fb}, intrahash = {ed23be769911d598719901d0475b9dff}, journal = {Concurr. Comput. Pract. Exp.}, keywords = {}, number = 4, timestamp = {2023-12-14T16:36:49.000+0100}, title = {Testing for linearizability.}, url = {http://dblp.uni-trier.de/db/journals/concurrency/concurrency29.html#Lowe17}, volume = 29, year = 2017 }