HinkelmanK95'

@inproceedings{DBLP:conf/eurovav/HinkelmanK95,
  author    = {Knut Hinkelmann and
               Otto K{\"u}hn},
  title     = {Revising and Updating a Corporate Memory},
  booktitle = {EUROVAV},
  year      = {1995},
  pages     = {213-223},
  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}
}