%0 Journal Article %1 journals/jlp/PunSS14 %A Pun, Ka I %A Steffen, Martin %A Stolz, Volker %D 2014 %J J. Log. Algebraic Methods Program. %K %N 5-6 %P 400-426 %T Deadlock checking by data race detection. %U http://dblp.uni-trier.de/db/journals/jlp/jlp83.html#PunSS14 %V 83

@article{journals/jlp/PunSS14, added-at = {2023-12-13T09:26:19.000+0100}, author = {Pun, Ka I and Steffen, Martin and Stolz, Volker}, biburl = {https://www.bibsonomy.org/bibtex/2953038bf0400c7292c32c8ab530d3a94/admin}, ee = {https://doi.org/10.1016/j.jlamp.2014.07.003}, interhash = {ce45d77c6d94e8b831269e05871be127}, intrahash = {953038bf0400c7292c32c8ab530d3a94}, journal = {J. Log. Algebraic Methods Program.}, keywords = {}, number = {5-6}, pages = {400-426}, timestamp = {2023-12-13T09:26:19.000+0100}, title = {Deadlock checking by data race detection.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp83.html#PunSS14}, volume = 83, year = 2014 }