"Model checking for weakly consistent libraries."

Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics