BouajjaniET03'

@inproceedings{DBLP:conf/popl/BouajjaniET03,
  author    = {Ahmed Bouajjani and
               Javier Esparza and
               Tayssir Touili},
  title     = {A generic approach to the static analysis of concurrent
               programs with procedures},
  booktitle = {POPL},
  year      = {2003},
  pages     = {62-73},
  ee        = {http://doi.acm.org/10.1145/640128.604137},
  crossref  = {DBLP:conf/popl/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/popl/2003,
  editor    = {Alex Aiken and
               Greg Morrisett},
  title     = {Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT
               Symposium on Principles of Programming Languages, New Orleans,
               Louisisana, USA, January 15-17, 2003},
  booktitle = {POPL},
  publisher = {ACM},
  year      = {2003},
  isbn      = {1-58113-628-5},
  ee        = {http://dl.acm.org/citation.cfm?id=604131},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}