BibTeX record conf/eurovav/Pearce91

download as .bib file

@inproceedings{DBLP:conf/eurovav/Pearce91,
  author       = {Danny A. Pearce},
  editor       = {Matthew Grisoni},
  title        = {A Model Based Approach to Validation},
  booktitle    = {Proceedings of the European Workshop on the Verification and Validation
                  of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge,
                  England, July 22-24, 1991},
  pages        = {55--67},
  publisher    = {Logica Ltd., Cambridge, {UK}},
  year         = {1991},
  timestamp    = {Fri, 05 Feb 2016 14:41:16 +0100},
  biburl       = {https://dblp.org/rec/conf/eurovav/Pearce91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}