SantosRVM99'

BibTeX

@inproceedings{DBLP:conf/eurovav/SantosRVM99,
  author    = {Jorge Santos and
               Carlos Ramos and
               Zita A. Vale and
               Albino Marques},
  title     = {Validation and Verification of Knowlege-Based Systems for
               Power Systzem Control Centres},
  booktitle = {EUROVAV},
  year      = {1999},
  pages     = {221-235},
  crossref  = {DBLP:conf/eurovav/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/eurovav/1999,
  editor    = {Anca I. Vermesan and
               Frans Coenen},
  title     = {Validation and Verification of Knowledge Based Systems -
               Theory, Tools and Practice, Collected papers from EUROVAV
               '99, 5th European Symposium on Validation and Verification
               of Knowledge Based Systems,June 9-11, 199, Oslo, Norway},
  booktitle = {EUROVAV},
  publisher = {Kluwer},
  year      = {1999},
  isbn      = {0-7923-8645-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}