dblp.uni-trier.de www.uni-trier.de

1. EUROVAV 1991: Cambridge, England, UK

Matthew Grisoni (Ed.): Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991. Logica Ltd., Cambridge, UK 1991 BibTeX
@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}
}

Theoretical Foundations

Tools and Techniques

Industrial Requirements

Acknowlegement: The information on this page was contributed by Hendrik Decker

Copyright © Sat May 16 23:11:28 2009 by Michael Ley (ley@uni-trier.de)