Meinke00'

BibTeX

@inproceedings{DBLP:conf/sam/Meinke00,
  author    = {Karl Meinke},
  title     = {Validation and Test Case Generations for MSCs Using A Propositional
               SAT Solver},
  booktitle = {SAM},
  year      = {2000},
  pages     = {203-},
  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}
}