@misc{indiciae423453ed0bc0,
  title = {On parametrized verification of asynchronous, shared-memory pushdown systems},
  author = {Marie Fortin and Anca Muscholl and Igor Walukiewicz},
  year = {2016},
  url = {https://arxiv.org/abs/1606.08707},
  note = {Source identifier: 1606.08707}
}