KhendekV00'

BibTeX

@inproceedings{DBLP:conf/sam/KhendekV00,
  author    = {Ferhat Khendek and
               Daniel Vincent},
  title     = {Enriching SDL Specifications with MSCs},
  booktitle = {SAM},
  year      = {2000},
  pages     = {305-319},
  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}
}