Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/5801
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Vanthienen, J. | - |
dc.contributor.author | Mues, C. | - |
dc.contributor.author | WETS, Geert | - |
dc.date.accessioned | 2007-12-20T16:02:10Z | - |
dc.date.available | 2007-12-20T16:02:10Z | - |
dc.date.issued | 1997 | - |
dc.identifier.citation | 4th European Symposium on the Validation and Verification of Knowledge-based Systems, Leuven, Belgium, June 26-28. p. 155-165. | - |
dc.identifier.uri | http://hdl.handle.net/1942/5801 | - |
dc.language.iso | en | - |
dc.title | Inter-tabular verification in an interactive environment | - |
dc.type | Proceedings Paper | - |
local.bibliographicCitation.conferencedate | June 26-28 | - |
local.bibliographicCitation.conferencename | European Symposium on the Validation and Verification of Knowledge-based Systems | - |
dc.bibliographicCitation.conferencenr | 4 | - |
local.bibliographicCitation.conferenceplace | Leuven, Belgium | - |
dc.identifier.epage | 165 | - |
dc.identifier.spage | 155 | - |
local.type.specified | Proceedings Paper | - |
dc.bibliographicCitation.oldjcat | - | |
local.bibliographicCitation.btitle | 4th European Symposium on the Validation and Verification of Knowledge-based Systems, Leuven, Belgium, June 26-28 | - |
item.fulltext | No Fulltext | - |
item.accessRights | Closed Access | - |
item.contributor | Vanthienen, J. | - |
item.contributor | Mues, C. | - |
item.contributor | WETS, Geert | - |
item.fullcitation | Vanthienen, J.; Mues, C. & WETS, Geert (1997) Inter-tabular verification in an interactive environment. In: 4th European Symposium on the Validation and Verification of Knowledge-based Systems, Leuven, Belgium, June 26-28. p. 155-165.. | - |
Appears in Collections: | Research publications |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.