%0 Journal Article %1 journals/jacm/EsparzaGM16 %A Esparza, Javier %A Ganty, Pierre %A Majumdar, Rupak %D 2016 %J J. ACM %K journal %N 1 %P 10 %R 10.1145/2842603 %T Parameterized Verification of Asynchronous Shared-Memory Systems. %U https://doi.org/10.1145/2842603 %V 63

@article{journals/jacm/EsparzaGM16, added-at = {2018-11-04T17:41:21.000+0100}, author = {Esparza, Javier and Ganty, Pierre and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/2a50fd991f2f0d755eaeb4c2749b566eb/paves_previous}, doi = {10.1145/2842603}, ee = {http://doi.acm.org/10.1145/2842603}, interhash = {009c2fd8417aab10eb2b301762ee5d9d}, intrahash = {a50fd991f2f0d755eaeb4c2749b566eb}, journal = {J. ACM}, keywords = {journal}, number = 1, pages = 10, timestamp = {2023-09-24T19:50:13.000+0200}, title = {Parameterized Verification of Asynchronous Shared-Memory Systems.}, url = {https://doi.org/10.1145/2842603}, volume = 63, year = 2016 }