%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 journal %N 3 %P 9:1-9:29 %R 10.1145/2629644 %T Pattern-Based Verification for Multithreaded Programs. %V 36

@article{journals/toplas/EsparzaGP14, added-at = {2018-11-04T17:43:13.000+0100}, author = {Esparza, Javier and Ganty, Pierre and Poch, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/24d3f94079cea0b4960d172fa7370b9e5/paves_previous}, doi = {10.1145/2629644}, ee = {http://doi.acm.org/10.1145/2629644}, interhash = {41bacc9c1e71878910357b8468b105ba}, intrahash = {4d3f94079cea0b4960d172fa7370b9e5}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {journal}, number = 3, pages = {9:1-9:29}, timestamp = {2023-09-24T19:50:01.000+0200}, title = {Pattern-Based Verification for Multithreaded Programs.}, volume = 36, year = 2014 }