Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/7312
Full metadata record
DC FieldValueLanguage
dc.contributor.authorVanthienen, J.-
dc.contributor.authorMues, C.-
dc.contributor.authorAerts, A.-
dc.contributor.authorWETS, Geert-
dc.date.accessioned2007-12-20T16:15:01Z-
dc.date.available2007-12-20T16:15:01Z-
dc.date.issued1995-
dc.identifier.citationIJCAI'95 Workshop on Verification and Validation, August 18, Montreal. p. 96-102.-
dc.identifier.urihttp://hdl.handle.net/1942/7312-
dc.language.isoen-
dc.titleA modularization approach to the verification of KBSs-
dc.typeProceedings Paper-
local.bibliographicCitation.conferencedateAugust 18-
local.bibliographicCitation.conferencenameIJCAI'95 Workshop on Verification and Validation-
local.bibliographicCitation.conferenceplaceMontreal-
dc.identifier.epage102-
dc.identifier.spage96-
local.type.specifiedProceedings Paper-
dc.bibliographicCitation.oldjcat-
local.bibliographicCitation.btitleIJCAI'95 Workshop on Verification and Validation, August 18, Montreal-
item.fulltextNo Fulltext-
item.fullcitationVanthienen, J.; Mues, C.; Aerts, A. & WETS, Geert (1995) A modularization approach to the verification of KBSs. In: IJCAI'95 Workshop on Verification and Validation, August 18, Montreal. p. 96-102..-
item.contributorVanthienen, J.-
item.contributorMues, C.-
item.contributorAerts, A.-
item.contributorWETS, Geert-
item.accessRightsClosed Access-
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.