Vanthienen, J., Aerts, A., Mues, C. and Wets, G. (1995) A modelling approach to KBS verification. Proceedings of the 3rd European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV '95), Chambéry, France. 25 - 27 Jun 1995. 155 -171 .
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: 1995
Venue - Dates:
Proceedings of the 3rd European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV '95), Chambéry, France, 1995-06-25 - 1995-06-27
Identifiers
Local EPrints ID: 36414
URI: http://eprints.soton.ac.uk/id/eprint/36414
PURE UUID: 094303d1-d092-4deb-8eb0-3ff07d157e92
Catalogue record
Date deposited: 02 May 2007
Last modified: 08 Apr 2022 01:38
Export record
Contributors
Author:
J. Vanthienen
Author:
A. Aerts
Author:
G. Wets
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.