Inter-tabular verification in an interactive environment


Vanthienen, J., Mues, C. and Wets, G. (1997) Inter-tabular verification in an interactive environment. In, Vanthienen, Jan and van Harmelen, Frank (eds.) Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems (EUROVAV'97). 4th European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'97) Leuven, Belgium, Katholieke Universiteit, 155-165.

Download

Full text not available from this repository.

Item Type: Book Section
Subjects: H Social Sciences > HD Industries. Land use. Labor > HD28 Management. Industrial Management
Divisions : University Structure - Pre August 2011 > School of Management
ePrint ID: 36410
Accepted Date and Publication Date:
Status
1997Published
Date Deposited: 27 Apr 2007
Last Modified: 31 Mar 2016 12:05
URI: http://eprints.soton.ac.uk/id/eprint/36410

Actions (login required)

View Item View Item