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
Item ID: 36410
Date Deposited: 27 Apr 2007
Last Modified: 02 Mar 2012 13:07
Contributors: Vanthienen, J. (Author)
Mues, C. (Author)
Wets, G. (Author)
Vanthienen, Jan (Editor)
van Harmelen, Frank (Editor)
Date: 1997
Status: Published
Publisher: Katholieke Universiteit
URI: http://eprints.soton.ac.uk/id/eprint/36410

Actions (login required)

View Item View Item