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.contributorVanthienen, J.-
item.contributorMues, C.-
item.contributorWETS, Geert-
item.accessRightsClosed Access-
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-
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.