![](/img/cover-not-exists.png)
Model checking race-freeness
Abdulla, Parosh Aziz, Haziza, Frédéric, Kindahl, MatsVolume:
36
Language:
english
Journal:
ACM SIGARCH Computer Architecture News
DOI:
10.1145/1556444.1556454
Date:
June, 2009
File:
PDF, 367 KB
english, 2009