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 | Source: | 3rd European Symposium on the Validation and Verification of Knowledge-based Systems, Chambery, France, June 26-28. p. 155-171. | Document URI: | http://hdl.handle.net/1942/4277 | Type: | Proceedings Paper |
| Appears in Collections: | Research publications |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.