Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/7312
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Vanthienen, J. | - |
dc.contributor.author | Mues, C. | - |
dc.contributor.author | Aerts, A. | - |
dc.contributor.author | WETS, Geert | - |
dc.date.accessioned | 2007-12-20T16:15:01Z | - |
dc.date.available | 2007-12-20T16:15:01Z | - |
dc.date.issued | 1995 | - |
dc.identifier.citation | IJCAI'95 Workshop on Verification and Validation, August 18, Montreal. p. 96-102. | - |
dc.identifier.uri | http://hdl.handle.net/1942/7312 | - |
dc.language.iso | en | - |
dc.title | A modularization approach to the verification of KBSs | - |
dc.type | Proceedings Paper | - |
local.bibliographicCitation.conferencedate | August 18 | - |
local.bibliographicCitation.conferencename | IJCAI'95 Workshop on Verification and Validation | - |
local.bibliographicCitation.conferenceplace | Montreal | - |
dc.identifier.epage | 102 | - |
dc.identifier.spage | 96 | - |
local.type.specified | Proceedings Paper | - |
dc.bibliographicCitation.oldjcat | - | |
local.bibliographicCitation.btitle | IJCAI'95 Workshop on Verification and Validation, August 18, Montreal | - |
item.fullcitation | Vanthienen, 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.fulltext | No Fulltext | - |
item.contributor | Vanthienen, J. | - |
item.contributor | Mues, C. | - |
item.contributor | Aerts, A. | - |
item.contributor | WETS, Geert | - |
item.accessRights | Closed Access | - |
Appears in Collections: | Research publications |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.