Inter-tabular verification in an interactive environment


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., pp. 155-165.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates:
Subjects:
ePrint ID: 36410
Date :
Date Event
1997Published
Date Deposited: 27 Apr 2007
Last Modified: 16 Apr 2017 22:06
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/36410

Actions (login required)

View Item View Item