MuschollP00'

@inproceedings{DBLP:conf/sam/MuschollP00,
  author    = {Anca Muscholl and
               Doron Peled},
  title     = {Analyzing Message Sequence Charts},
  booktitle = {SAM},
  year      = {2000},
  pages     = {3-17},
  crossref  = {DBLP:conf/sam/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sam/2000,
  editor    = {Edel Sherratt},
  title     = {SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble,
               France, June 26-28, 2000},
  booktitle = {SAM},
  publisher = {VERIMAG, IRISA, SDL Forum},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}