HaoucheC95'

@inproceedings{DBLP:conf/eurovav/HaoucheC95,
  author    = {Corinne Haouche and
               Jean Charlet},
  title     = {Using a KADS Inference Structure to Test a KBS Behaviour},
  booktitle = {EUROVAV},
  year      = {1995},
  pages     = {277-290},
  crossref  = {DBLP:conf/eurovav/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/eurovav/1995,
  editor    = {Marc Ayel and
               Marie-Christine Rousset},
  title     = {Proceedings of the European Symposium on the Validation
               and Verification of Knowledge-Based Systems, EUROVAV '95,
               Chamb{\'e}ry, June 1995},
  booktitle = {EUROVAV},
  publisher = {ADERIAS-LIA, Universite de Savoie},
  year      = {1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}