BibTeX record: conf/eurovav/Boulitreau-LefevreK95

download as .bib file

@inproceedings{DBLP:conf/eurovav/Boulitreau-LefevreK95,
  author    = {P. {Boulitreau-Lefevre} and
               Gilles Kassel},
  title     = {Modelling Validation Seen as a Set of Problem Solving Tasks.},
  booktitle = {Proceedings of the European Symposium on the Validation and Verification
               of Knowledge-Based Systems, {EUROVAV} '95, Chamb\'{e}ry, June 1995},
  year      = {1995},
  pages     = {241--251},
  crossref  = {DBLP:conf/eurovav/1995},
  timestamp = {Tue, 02 Sep 2014 19:40:39 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eurovav/Boulitreau-LefevreK95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  year      = {1995},
  publisher = {ADERIAS-LIA, Universite de Savoie},
  timestamp = {Tue, 02 Sep 2014 19:40:39 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eurovav/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}