FenselS97'

BibTeX

@inproceedings{DBLP:conf/eurovav/FenselS97,
  author    = {Dieter Fensel and
               Arno Sch{\"o}negge},
  title     = {Specifying and Verifying Knowledge-Based Systems with KIV},
  booktitle = {EUROVAV},
  year      = {1997},
  pages     = {107-116},
  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}
}