SantosFRVM99'

BibTeX

@inproceedings{DBLP:conf/ieaaie/SantosFRVM99,
  author    = {Jorge Santos and
               Luiz Faria and
               Carlos Ramos and
               Zita A. Vale and
               Albino Marques},
  title     = {Verification of Knowledge Based-Systems for Power System
               Control Centres},
  booktitle = {IEA/AIE},
  year      = {1999},
  pages     = {316-325},
  crossref  = {DBLP:conf/ieaaie/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ieaaie/1999,
  editor    = {Ibrahim F. Imam and
               Yves Kodratoff and
               Ayman El-Dessouki and
               Moonis Ali},
  title     = {Multiple Approaches to Intelligent Systems, 12th International
               Conference on Industrial and Engineering Applications of
               Artificial Intelligence and Expert Systems, IEA/AIE-99,
               Cairo, Egypt, May 31 - June 3, 1999, Proceedings},
  booktitle = {IEA/AIE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1611},
  year      = {1999},
  isbn      = {3-540-66076-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}