"Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: ..."

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics