Model checking race-freeness

Parosh Aziz Abdulla, Frédéric Haziza, Mats Kindahl. Model checking race-freeness. SIGARCH Computer Architecture News, 36(5):72-79, 2008. [doi]

Abstract

Abstract is missing.