Azadeh Farzan P. Madhusudan Francesco Sorrentino Meta-analysis for Atomicity Violations under Nested Locking. 248-262 2009 CAV http://dx.doi.org/10.1007/978-3-642-02658-4_21 conf/cav/2009 db/conf/cav/cav2009.html#FarzanMS09