DBLP Record 'conf/eurovav/LaitaCL91'

BibTeX

@inproceedings{DBLP:conf/eurovav/LaitaCL91,
  author    = {Luis M. Laita and
               Julia Couto and
               Luis de Ledesma},
  title     = {A Formal Study of Consistency of KBSs},
  booktitle = {EUROVAV},
  year      = {1991},
  pages     = {31-38},
  crossref  = {DBLP:conf/eurovav/1991},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/eurovav/1991,
  editor    = {Matthew Grisoni},
  title     = {Proceedings of the European Workshop on the Verification
               and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus
               College, Cambridge, England, July 22-24, 1991},
  booktitle = {EUROVAV},
  publisher = {Logica Ltd., Cambridge, UK},
  year      = {1991},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}