Document Server@UHasselt >
Research >
Research publications >

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

Title: A modularization approach to the verification of KBSs
Authors: Vanthienen, J.
Mues, C.
Aerts, A.
WETS, Geert
Issue Date: 1995
Citation: IJCAI'95 Workshop on Verification and Validation, August 18, Montreal. p. 96-102.
URI: http://hdl.handle.net/1942/7312
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.