TY  - RPRT
TI  - Parameterized Verification of Asynchronous Shared-Memory Systems
AU  - Javier Esparza
AU  - Pierre Ganty
AU  - Rupak Majumdar
PY  - 2013
DO  - 10.1007/978-3-642-39799-8_8
UR  - https://arxiv.org/abs/1304.1185
ID  - 1304.1185
ER  -