@misc{indiciae94f5a9904927,
  title = {LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks},
  author = {Fu Song and Tayssir Touili},
  year = {2016},
  url = {https://arxiv.org/abs/1611.02528},
  note = {Source identifier: 1611.02528}
}