@misc{indiciae6914516188dd,
  title = {Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems},
  author = {Nils Bulling and Hoang Nga Nguyen},
  year = {2015},
  url = {https://arxiv.org/abs/1508.02326},
  note = {Source identifier: 1508.02326}
}