@inproceedings{GawlitzaLMSW11, author = {Thomas Martin Gawlitza and Peter Lammich and Markus M\"uller-Olm and Helmut Seidl and Alexander Wenner}, title = {Join-{L}ock-{S}ensitive {F}orward {R}eachability {A}nalysis for {C}oncurrent {P}rograms with {D}ynamic {P}rocess {C}reation}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings}, editor = {Ranjit Jhala and David A. Schmidt}, year = 2011, pages = {199--213}, publisher = {Springer, LNCS 6538}, doi = {10.1007/978-3-642-18275-4_15}, }