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