@misc{indiciae217a19f42e1d,
  title = {Parameterized Verification of Asynchronous Shared-Memory Systems},
  author = {Javier Esparza and Pierre Ganty and Rupak Majumdar},
  year = {2013},
  doi = {10.1007/978-3-642-39799-8\_8},
  url = {https://arxiv.org/abs/1304.1185},
  note = {Source identifier: 1304.1185}
}