Document Server@UHasselt >
Research >
Research publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/5801

Title: Inter-tabular verification in an interactive environment
Authors: Vanthienen, J.
Mues, C.
WETS, Geert
Issue Date: 1997
Citation: 4th European Symposium on the Validation and Verification of Knowledge-based Systems, Leuven, Belgium, June 26-28. p. 155-165.
URI: http://hdl.handle.net/1942/5801
Type: Proceedings Paper
Appears in Collections: Research publications

Files in This Item:

There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.