Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif. Compositional Verification of a Lock-Free Stack with RGITL. ECEASST, 66, 2013. [doi]
@article{TofanSEPR13,
title = {Compositional Verification of a Lock-Free Stack with RGITL},
author = {Bogdan Tofan and Gerhard Schellhorn and Gidon Ernst and Jörg Pfähler and Wolfgang Reif},
year = {2013},
url = {http://journal.ub.tu-berlin.de/eceasst/article/view/885},
researchr = {https://researchr.org/publication/TofanSEPR13},
cites = {0},
citedby = {0},
journal = {ECEASST},
volume = {66},
}