LadkinS94'

@inproceedings{DBLP:conf/cascon/LadkinS94,
  author    = {Peter B. Ladkin and
               Barbara B. Simons},
  title     = {Static analysis of multiway synchronization},
  booktitle = {CASCON},
  year      = {1994},
  pages     = {39},
  ee        = {http://doi.acm.org/10.1145/782224},
  crossref  = {DBLP:conf/cascon/1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cascon/1994,
  editor    = {John E. Botsford and
               Ann Gawman and
               W. Morven Gentleman and
               Evelyn Kidd and
               Kelly A. Lyons and
               Jacob Slonim and
               J. Howard Johnson},
  title     = {Proceedings of the 1994 Conference of the Centre for Advanced
               Studies on Collaborative Research, October 31 - November
               3, 1994, Toronto, Ontario, Canada},
  booktitle = {CASCON},
  publisher = {IBM},
  year      = {1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}