Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/4277
Full metadata record
DC FieldValueLanguage
dc.contributor.authorVanthienen, J.-
dc.contributor.authorAerts, A.-
dc.contributor.authorMues, C.-
dc.contributor.authorWETS, Geert-
dc.date.accessioned2007-12-20T15:47:55Z-
dc.date.available2007-12-20T15:47:55Z-
dc.date.issued1995-
dc.identifier.citation3rd European Symposium on the Validation and Verification of Knowledge-based Systems, Chambery, France, June 26-28. p. 155-171.-
dc.identifier.urihttp://hdl.handle.net/1942/4277-
dc.language.isoen-
dc.titleA modelling approach to KBS verification-
dc.typeProceedings Paper-
local.bibliographicCitation.conferencedateJune 26-28-
local.bibliographicCitation.conferencenameEuropean Symposium on the Validation and Verification of Knowledge-based Systems-
dc.bibliographicCitation.conferencenr3-
local.bibliographicCitation.conferenceplaceChambery, France-
dc.identifier.epage171-
dc.identifier.spage155-
local.type.specifiedProceedings Paper-
dc.bibliographicCitation.oldjcat-
local.bibliographicCitation.btitle3rd European Symposium on the Validation and Verification of Knowledge-based Systems, Chambery, France, June 26-28-
item.contributorVanthienen, J.-
item.contributorAerts, A.-
item.contributorMues, C.-
item.contributorWETS, Geert-
item.accessRightsClosed Access-
item.fullcitationVanthienen, J.; Aerts, A.; Mues, C. & WETS, Geert (1995) A modelling approach to KBS verification. In: 3rd European Symposium on the Validation and Verification of Knowledge-based Systems, Chambery, France, June 26-28. p. 155-171..-
item.fulltextNo Fulltext-
Appears in Collections:Research publications
Show simple item record

Google ScholarTM

Check


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