%0 Conference Paper %1 conf/kbse/KimYS09 %A Kim, KyungHee %A Yavuz-Kahveci, Tuba %A Sanders, Beverly A. %B ASE %D 2009 %I IEEE Computer Society %K dblp %P 495-499 %T Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. %U http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#KimYS09 %@ 978-0-7695-3891-4

@inproceedings{conf/kbse/KimYS09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Kim, KyungHee and Yavuz-Kahveci, Tuba and Sanders, Beverly A.}, biburl = {https://www.bibsonomy.org/bibtex/2987aaab530fa66e04c3206f353da6ed6/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2009}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASE.2009.82}, interhash = {9d48c0a89f65c76ba01d3b063cd0ef9e}, intrahash = {987aaab530fa66e04c3206f353da6ed6}, isbn = {978-0-7695-3891-4}, keywords = {dblp}, pages = {495-499}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:49:49.000+0200}, title = {Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#KimYS09}, year = 2009 }