![](/img/cover-not-exists.png)
[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking
Kim, KyungHee, Yavuz-Kahveci, Tuba, Sanders, Beverly A.Year:
2009
Language:
english
DOI:
10.1109/ase.2009.82
File:
PDF, 522 KB
english, 2009