%0 Journal Article %1 journals/ppl/GontmakherPS03 %A Gontmakher, Alex %A Polyakov, Sergey %A Schuster, Assaf %D 2003 %J Parallel Process. Lett. %K dblp %N 4 %P 721-733 %T Complexity Of Verifying Java Shared Memory Execution. %U http://dblp.uni-trier.de/db/journals/ppl/ppl13.html#GontmakherPS03 %V 13

@article{journals/ppl/GontmakherPS03, added-at = {2020-03-24T00:00:00.000+0100}, author = {Gontmakher, Alex and Polyakov, Sergey and Schuster, Assaf}, biburl = {https://www.bibsonomy.org/bibtex/290770f8d42cddc071289f2049894ac1c/dblp}, ee = {https://doi.org/10.1142/S0129626403001628}, interhash = {964b92d65e2628ac3b9395cd213bbc37}, intrahash = {90770f8d42cddc071289f2049894ac1c}, journal = {Parallel Process. Lett.}, keywords = {dblp}, number = 4, pages = {721-733}, timestamp = {2020-03-25T11:39:36.000+0100}, title = {Complexity Of Verifying Java Shared Memory Execution.}, url = {http://dblp.uni-trier.de/db/journals/ppl/ppl13.html#GontmakherPS03}, volume = 13, year = 2003 }