DBLP BibTeX Record 'conf/eurovav/VanthienenAMW95'

@inproceedings{DBLP:conf/eurovav/VanthienenAMW95,
  author    = {Jan Vanthienen and
               Ann Aerts and
               Christophe Mues and
               Geert Wets},
  title     = {A Modeling Approach to KBS Verification},
  booktitle = {EUROVAV},
  year      = {1995},
  pages     = {155-171},
  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}
}

Last update 2009-06-09 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page