@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}, }