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
Date Deposited: 27 Apr 2007
Last Modified: 27 Mar 2014 18:23
URI: http://eprints.soton.ac.uk/id/eprint/36410

Actions (login required)

View Item View Item