@inproceedings{LammichMSW13,
  author = {Peter Lammich and Markus M\"uller-Olm and Helmut Seidl and Alexander Wenner},
  title = {Contextual {L}ocking for {D}ynamic {P}ushdown {N}etworks},
  booktitle = {Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings},
  editor = {Francesco Logozzo and Manuel F\"ahndrich},
  year = 2013,
  pages = {477--498},
  publisher = {Springer, LNCS 7935},
  doi = {10.1007/978-3-642-38856-9_25},
}