DBLP Record 'conf/flairs/SantosFRVM99'

BibTeX

@inproceedings{DBLP:conf/flairs/SantosFRVM99,
  author    = {Jorge Santos and
               Luiz Faria and
               Carlos Ramos and
               Zita A. Vale and
               Albino Marques},
  title     = {VERITAS - A Verification Tool for Real-Time Applications
               in Power System Control Centers},
  booktitle = {FLAIRS Conference},
  year      = {1999},
  pages     = {511-515},
  crossref  = {DBLP:conf/flairs/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/flairs/1999,
  editor    = {Amruth N. Kumar and
               Ingrid Russell},
  title     = {Proceedings of the Twelfth International Florida Artificial
               Intelligence Research Society Conference, May 1-5, 1999,
               Orlando, Florida, USA},
  booktitle = {FLAIRS Conference},
  publisher = {AAAI Press},
  year      = {1999},
  isbn      = {1-57735-080-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}