%0 Journal Article %1 journals/fmsd/GuerraouiHS11 %A Guerraoui, Rachid %A Henzinger, Thomas A. %A Singh, Vasu %D 2011 %J Formal Methods Syst. Des. %K dblp %N 3 %P 297-331 %T Verification of STM on relaxed memory models. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd39.html#GuerraouiHS11 %V 39

@article{journals/fmsd/GuerraouiHS11, added-at = {2022-12-07T00:00:00.000+0100}, author = {Guerraoui, Rachid and Henzinger, Thomas A. and Singh, Vasu}, biburl = {https://www.bibsonomy.org/bibtex/2548adaeb6afa40dde3579d3eb97f5a4b/dblp}, ee = {https://doi.org/10.1007/s10703-011-0131-3}, interhash = {d2e15510673a60dfce662e69535738f6}, intrahash = {548adaeb6afa40dde3579d3eb97f5a4b}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {297-331}, timestamp = {2024-04-08T17:15:03.000+0200}, title = {Verification of STM on relaxed memory models.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd39.html#GuerraouiHS11}, volume = 39, year = 2011 }