DBLP Record 'conf/eurovav/BendouA97'

BibTeX

@inproceedings{DBLP:conf/eurovav/BendouA97,
  author    = {Amar Bendou and
               Marc Ayel},
  title     = {A Symbolic Execution Based Approach for Inspecting Knowledge
               Bases},
  booktitle = {EUROVAV},
  year      = {1997},
  pages     = {31-42},
  crossref  = {DBLP:conf/eurovav/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/eurovav/1997,
  editor    = {Jan Vanthienen and
               Frank van Harmelen},
  title     = {Proceedings of the Fourth European Symposium on the Validation
               and Verification of Knowledge-Based Systems, EUROVAV'97,
               June 26-28, 1997, Katholieke Universiteit Leuven, Leuven,
               Belgium},
  booktitle = {EUROVAV},
  publisher = {Katholieke Universiteit Leuven, Belgium},
  year      = {1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}