Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/5801
Full metadata record
DC FieldValueLanguage
dc.contributor.authorVanthienen, J.-
dc.contributor.authorMues, C.-
dc.contributor.authorWETS, Geert-
dc.date.accessioned2007-12-20T16:02:10Z-
dc.date.available2007-12-20T16:02:10Z-
dc.date.issued1997-
dc.identifier.citation4th European Symposium on the Validation and Verification of Knowledge-based Systems, Leuven, Belgium, June 26-28. p. 155-165.-
dc.identifier.urihttp://hdl.handle.net/1942/5801-
dc.language.isoen-
dc.titleInter-tabular verification in an interactive environment-
dc.typeProceedings Paper-
local.bibliographicCitation.conferencedateJune 26-28-
local.bibliographicCitation.conferencenameEuropean Symposium on the Validation and Verification of Knowledge-based Systems-
dc.bibliographicCitation.conferencenr4-
local.bibliographicCitation.conferenceplaceLeuven, Belgium-
dc.identifier.epage165-
dc.identifier.spage155-
local.type.specifiedProceedings Paper-
dc.bibliographicCitation.oldjcat-
local.bibliographicCitation.btitle4th European Symposium on the Validation and Verification of Knowledge-based Systems, Leuven, Belgium, June 26-28-
item.fullcitationVanthienen, 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..-
item.fulltextNo Fulltext-
item.contributorVanthienen, J.-
item.contributorMues, C.-
item.contributorWETS, Geert-
item.accessRightsClosed Access-
Appears in Collections:Research publications
Show simple item record

Page view(s)

36
checked on Nov 7, 2023

Google ScholarTM

Check


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