%0 Journal Article %1 journals/toplas/EsparzaGP14 %A Esparza, Javier %A Ganty, Pierre %A Poch, Tomás %D 2014 %J ACM Trans. Program. Lang. Syst. %K dblp %N 3 %P 9:1-9:29 %T Pattern-Based Verification for Multithreaded Programs. %U http://dblp.uni-trier.de/db/journals/toplas/toplas36.html#EsparzaGP14 %V 36

@article{journals/toplas/EsparzaGP14, added-at = {2021-04-09T00:00:00.000+0200}, author = {Esparza, Javier and Ganty, Pierre and Poch, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/24d3f94079cea0b4960d172fa7370b9e5/dblp}, ee = {https://doi.org/10.1145/2629644}, interhash = {41bacc9c1e71878910357b8468b105ba}, intrahash = {4d3f94079cea0b4960d172fa7370b9e5}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 3, pages = {9:1-9:29}, timestamp = {2024-04-09T06:03:10.000+0200}, title = {Pattern-Based Verification for Multithreaded Programs.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas36.html#EsparzaGP14}, volume = 36, year = 2014 }