Vanthienen, J., Mues, C. and Wets, G. (1997) Inter-tabular verification in an interactive environment. Vanthienen, Jan and van Harmelen, Frank (eds.) In Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems (EUROVAV'97). Katholieke Universiteit Leuven. pp. 155-165 .
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: 1997
Venue - Dates:
4th European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'97), Leuven, Belgium, 1997-06-26 - 1997-06-28
Identifiers
Local EPrints ID: 36410
URI: http://eprints.soton.ac.uk/id/eprint/36410
PURE UUID: 74b9a23c-d95f-40bf-83b4-205e75506751
Catalogue record
Date deposited: 27 Apr 2007
Last modified: 09 Mar 2024 02:41
Export record
Contributors
Author:
J. Vanthienen
Author:
G. Wets
Editor:
Jan Vanthienen
Editor:
Frank van Harmelen
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.