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 | Source: | IJCAI'95 Workshop on Verification and Validation, August 18, Montreal. p. 96-102. | Document URI: | http://hdl.handle.net/1942/7312 | Type: | Proceedings Paper |
| Appears in Collections: | Research publications |
Show full item record
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.