Document Server@UHasselt >
Research >
Research publications >

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

Title: A modelling approach to KBS verification
Authors: Vanthienen, J.
Aerts, A.
Mues, C.
WETS, Geert
Issue Date: 1995
Citation: 3rd European Symposium on the Validation and Verification of Knowledge-based Systems, Chambery, France, June 26-28. p. 155-171.
URI: http://hdl.handle.net/1942/4277
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.